]> gitweb.fluxo.info Git - scripts.git/commitdiff
Feat: adds repl script (2)
authorSilvio Rhatto <rhatto@riseup.net>
Sat, 10 Aug 2024 16:07:21 +0000 (13:07 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Sat, 10 Aug 2024 16:07:21 +0000 (13:07 -0300)
repl

diff --git a/repl b/repl
index f205b36fa8c74a4028c9b246b013f4324521b0ea..4afca8998612c3b564458282a1fc86456f9ab5b1 100755 (executable)
--- a/repl
+++ b/repl
@@ -22,7 +22,7 @@ function _repl {
 }
 
 # Check
-if [ -z "$COMMAND" ]; then
+if [ -z "$1" ]; then
   echo "usage: $BASENAME <command> [base-args]"
   exit 1
 fi