chore(tools): correct the file name in the tool's help message (#1114)

Removing `.sh` from the executable file name
cotes2020 · Jun 28, 2023 · 2639f8e · 2639f8e
1 parent 926d1ca
commit 2639f8e
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/tools/init b/tools/init
@@ -17,7 +17,7 @@ _no_gh=false
 help() {
   echo "Usage:"
   echo
-  echo "   bash /path/to/init.sh [options]"
+  echo "   bash /path/to/init [options]"
   echo
   echo "Options:"
   echo "     --no-gh              Do not deploy to Github."

diff --git a/tools/release b/tools/release
@@ -48,7 +48,7 @@ help() {
   echo
   echo "Usage:"
   echo
-  echo "   bash ./tools/release.sh [options]"
+  echo "   bash ./tools/release [options]"
   echo
   echo "Options:"
   echo "     -k, --skip-versioning    Skip the step of generating the version number."

diff --git a/tools/test b/tools/test
@@ -19,7 +19,7 @@ help() {
   echo
   echo "Usage:"
   echo
-  echo "   bash ./tools/test.sh [options]"
+  echo "   bash ./tools/test [options]"
   echo
   echo "Options:"
   echo '     -c, --config   "<config_a[,config_b[...]]>"    Specify config file(s)'