From 27e9ade7bceaf0c4cfbe1bad308a5172ee801bd5 Mon Sep 17 00:00:00 2001
From: Mohammad Akhlaghi <mohammad@akhlaghi.org>
Date: Sat, 4 Jul 2020 02:16:16 +0100
Subject: Some command line messages of ./project didn't mention shell

Until now, the 'shell' mode of the './project' script was missing in the
top output of './project --help' and in the error message printed when no
operation was given, or when more than one operation was given.

This is now corrected.
---
 project | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/project b/project
index 916dc33..cdd0976 100755
--- a/project
+++ b/project
@@ -71,6 +71,7 @@ print_help() {
     # Print the output.
     cat <<EOF
 Usage: $scriptname configure [OPTIONS]
+       $scriptname shell     [OPTIONS]
        $scriptname make      [OPTIONS]
 
 Top-level script to manage the reproducible project. The high-level
@@ -151,7 +152,7 @@ func_operation_set() {
     if [ x$operation = x ]; then
         operation=$1
     else
-        echo "Only one operation ('configure' or 'make') may be given."
+        echo "Only one operation ('configure', 'make' or 'shell') may be given."
         exit 1
     fi
 }
@@ -468,7 +469,7 @@ case $operation in
 No operation defined!
 
 Please run with '--help' for more information.
-(TIP: available operations are: 'configure' or 'make').
+(TIP: available operations are: 'configure', 'make', or 'shell').
 
 EOF
         exit 1
-- 
cgit v1.2.1