Microsoft Windows lacks /dev/stdin, even with bash

hackerb9 · Jul 17, 2024 · 6e36ebe · 6e36ebe
1 parent 83a7662
commit 6e36ebe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tokenize b/tokenize
@@ -68,7 +68,7 @@ function main() {
     if [[ "$dflag" ]]; then
 	echo "Decommenting and tokenizing '$f' into '$g'"
 	jumps=$(m100-sanity "$f" | m100-jumps )
-	m100-sanity "$f" | m100-decomment /dev/stdin "$g" ${jumps}
+	m100-sanity "$f" | m100-decomment - "$g" ${jumps}
     elif [[ "$cflag" ]]; then
 	echo "Decommenting, crunching, and tokenizing '$f' into '$g'"
 	jumps=$(m100-sanity "$f" | m100-jumps )