Fix mill script for parameter starting with -i

com-lihaoyi · Apr 23, 2024 · 94fd2bb · 94fd2bb
1 parent eaacfbc
commit 94fd2bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mill b/mill
@@ -55,7 +55,7 @@ fi
 MILL_FIRST_ARG=""
 
  # first arg is a long flag for "--interactive" or starts with "-i"
-if [ "$1" = "--bsp" ] || [ "${1%"-i"*}" != "$1" ] || [ "$1" = "--interactive" ] || [ "$1" = "--no-server" ] || [ "$1" = "--repl" ] || [ "$1" = "--help" ] ; then
+if [ "$1" = "--bsp" ] || [ "${1#"-i"}" != "$1" ] || [ "$1" = "--interactive" ] || [ "$1" = "--no-server" ] || [ "$1" = "--repl" ] || [ "$1" = "--help" ] ; then
   # Need to preserve the first position of those listed options
   MILL_FIRST_ARG=$1
   shift