From c778a69df31901be9a7726c51a7ab784aa3414d8 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi 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') 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 <