From c778a69df31901be9a7726c51a7ab784aa3414d8 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Tue, 28 Apr 2020 03:18:52 +0100
Subject: 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.
---
 reproduce/software/shell/configure.sh | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

(limited to 'reproduce/software/shell')

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
+there.
+
+Please run the following command to start the project.
 (Replace '8' with the number of CPU threads on your system)
 
     $buildcommand
 
-To change the configuration later, please re-run './project configure', DO
-NOT manually edit the relevant files.
-
 EOF
-- 
cgit v1.2.1