diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-29 03:11:43 +0100 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-29 03:17:07 +0100 |
commit | 6ae3d6425dff2dcc5bdb61a2c512508b0a066551 (patch) | |
tree | 28df6b3e1a685ba3a34f8a700af241a8d838d051 /reproduce/software/bash/configure.sh | |
parent | da1123c78780b2f35a626fd694aff427e3e12892 (diff) |
Tip added at initial configuration notice on how to see progress
The configuration step (building all the ncessary software) can take some
time. It is natual for the user to want to see how the build is going
(which software is being built at every moment). So far, we have only put a
"Inspecting status" section in `README-hacking.md' that describes a
solution, but some early users may not have read it yet.
With this commit a short tip was added in the initial installation notice
to inform the user of this very useful command.
Diffstat (limited to 'reproduce/software/bash/configure.sh')
-rwxr-xr-x | reproduce/software/bash/configure.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/reproduce/software/bash/configure.sh b/reproduce/software/bash/configure.sh index 65b728e..d03b444 100755 --- a/reproduce/software/bash/configure.sh +++ b/reproduce/software/bash/configure.sh @@ -767,6 +767,16 @@ will be installed in: $sdir/installed +**TIP**: you can see which software is being installed at every moment with +the following command. See "Inspecting status" section of +'README-hacking.md' for more. In short, run it while the project is being +configured (in another terminal, but on this same directory: '`pwd`'): + + $ while true; do echo; date; ls .build/software/build-tmp; sleep 1; done + +------------------------- + + EOF sleep $tsec fi |