commit bash-20120504 snapshot

2026-08-06 02:02:42 +02:00 · 2012-06-05 10:16:06 -04:00
parent 999f4dd7eb
commit efc2f955a0
34 changed files with 33054 additions and 24 deletions
@@ -44,7 +44,7 @@ do
 done

 if [ "$OPTIND" -gt 1 ] ; then
-	shift $[$OPTIND - 1]
+	shift $(( $OPTIND - 1 ))
 fi

 while :