Add # to the list of special shell characters

kit-ty-kate · Mar 2, 2024 · 9f4aa36 · 9f4aa36
1 parent 212967b
commit 9f4aa36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/build_test_common.ml b/src/build_test_common.ml
@@ -109,7 +109,7 @@ let is_special_shell_char = function
   | '^'|'%' when Sys.win32 -> true
   | ' '|'$'|'\''|'"'|'`'
   | '<'|'>'|'('|')'|'['|']'|'{'|'}'
-  | ';'|'!'|'&'|'|'|'~'|'*'|'?' -> true
+  | ';'|'!'|'&'|'|'|'~'|'*'|'?'|'#' -> true
   | _ -> false
 
 let has_special_shell_char str =