path: root/reproduce/software/shell/configure.sh
diff options
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-28 03:18:52 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2020-04-28 03:23:34 +0100
commitc778a69df31901be9a7726c51a7ab784aa3414d8 (patch)
treec7ebaf07fcd12b8345426247f4936f0d802e90d8 /reproduce/software/shell/configure.sh
parent4a53bd5ebd43414e5f21ac8cad6017f026921f56 (diff)
Better explanation at the end of the configuration
Until now, at the end of the configuration step, we would tell the user this: "To change the configuration later, please re-run './project configure', DO NOT manually edit the relevant files". However, as Boud suggested in Bug #58243, this is against our principle to encourage users to modify Maneage. With this commit, that explanation has been expanded by a few sentences to tell the users what to change and warn them in case they decide to change the build-directory.
Diffstat (limited to 'reproduce/software/shell/configure.sh')
1 files changed, 8 insertions, 4 deletions
diff --git a/reproduce/software/shell/configure.sh b/reproduce/software/shell/configure.sh
index 6f3ed7f..5837642 100755
--- a/reproduce/software/shell/configure.sh
+++ b/reproduce/software/shell/configure.sh
@@ -1514,12 +1514,16 @@ cat <<EOF
The project and its environment are configured with no errors.
-Please run the following command to start.
+To change the configuration later, you can re-run './project configure' or
+manually edit 'reproduce/software/config/LOCAL.conf'. Just be careful with
+the build-directory: its location is hard-coded in the installed software
+so if you change it manually, many of the project's software will crash. If
+you have to use another built-directory, just re-configure a clean project
+Please run the following command to start the project.
(Replace '8' with the number of CPU threads on your system)
-To change the configuration later, please re-run './project configure', DO
-NOT manually edit the relevant files.