#30533 closed enhancement (fixed)
Add quiet mode for bootstrap
Reported by: | Samuel Lelièvre | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-9.2 |
Component: | build: configure | Keywords: | quiet |
Cc: | Michael Orlitzky, Matthias Köppe, Samuel Lelièvre | Merged in: | |
Authors: | Michael Orlitzky | Reviewers: | Matthias Koeppe |
Report Upstream: | N/A | Work issues: | |
Branch: | 9c39bc8 (Commits, GitHub, GitLab) | Commit: | |
Dependencies: | Stopgaps: |
Description
This ticket is to add a -q flag to bootstrap so that it will print out less.
Change History (10)
comment:1 Changed 2 years ago by
Authors: | → Michael Orlitzky |
---|---|
Branch: | → u/mjo/ticket/30533 |
Commit: | → 8f91dbc90069cef514ffd87add26e5a7dc5077e7 |
comment:2 Changed 2 years ago by
My understanding is:
-d download a pre-made `configure` script -D download and ensure future invocations will download too -s save the downloaded `configure` script -u <URL> use <URL> as the download url for a pre-made `configure` script -? print this help and exit with an error
comment:3 Changed 2 years ago by
Commit: | 8f91dbc90069cef514ffd87add26e5a7dc5077e7 → 59185e675b66be56ed3f303735f475390c9de6c5 |
---|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
33c5fcc | Trac #30533: improve ./bootstrap usage() a bit.
|
aa238d5 | Trac #30533: whitespace cleanup in ./bootstrap.
|
ab1ceda | Trac #30533: rename bootstrap-download() to bootstrap_download().
|
63d539f | Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
|
3f4c45a | Trac #30533: hide output from "./bootstrap -s" in quiet mode.
|
59185e6 | Trac #30533: hide info output from "./bootstrap -D" in quiet mode.
|
comment:4 Changed 2 years ago by
Commit: | 59185e675b66be56ed3f303735f475390c9de6c5 → 912af9bcf171da59824c0f4775932f72ddedc09a |
---|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
2d443ae | Trac #30533: improve ./bootstrap usage() a bit.
|
c6ed563 | Trac #30533: whitespace cleanup in ./bootstrap.
|
31cb178 | Trac #30533: rename bootstrap-download() to bootstrap_download().
|
358ddc5 | Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
|
de351f1 | Trac #30533: hide output from "./bootstrap -s" in quiet mode.
|
912af9b | Trac #30533: hide info output from "./bootstrap -D" in quiet mode.
|
comment:5 Changed 2 years ago by
Commit: | 912af9bcf171da59824c0f4775932f72ddedc09a → 9c39bc89e19f05c2b4d29d8f339c33c880f33e61 |
---|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
171b947 | Trac #30533: improve ./bootstrap usage() a bit.
|
7dcb5a8 | Trac #30533: whitespace cleanup in ./bootstrap.
|
ab83893 | Trac #30533: rename bootstrap-download() to bootstrap_download().
|
2b4272d | Trac #30533: use /bin/sh to run the bootstrap script instead of bash.
|
b85f4a1 | Trac #30533: hide output from "./bootstrap -s" in quiet mode.
|
9c39bc8 | Trac #30533: hide info output from "./bootstrap -D" in quiet mode.
|
comment:6 Changed 2 years ago by
Status: | new → needs_review |
---|
All good now, I hope. The output should be hidden from ./bootstrap -s -q
and ./bootstrap -D -q
now too.
comment:7 Changed 2 years ago by
Reviewers: | → Matthias Koeppe |
---|---|
Status: | needs_review → positive_review |
This is a nice improvement
comment:8 Changed 2 years ago by
Branch: | u/mjo/ticket/30533 → 9c39bc89e19f05c2b4d29d8f339c33c880f33e61 |
---|---|
Resolution: | → fixed |
Status: | positive_review → closed |
comment:9 Changed 2 years ago by
Commit: | 9c39bc89e19f05c2b4d29d8f339c33c880f33e61 |
---|
Actually the change from bash
to /bin/sh
seems to have changed the set -e
default, and bootstrap
no longer works if src/bin/sage-env-config
does not already exist.
Somebody want to come up with
usage()
strings for the other options? I'm not really sure what they're meant to do.New commits:
Trac #30533: add new -q (quiet) flag for the bootstrap process.
Trac #30533: hide automake (stderr) output from ./bootstrap -q.
Trac #30533: improve ./bootstrap usage() a bit.
Trac #30533: whitespace cleanup in ./bootstrap.