add +x to execute scripts

2026-09-13 21:54:07 +00:00 · 2023-09-16 09:40:09 +02:00
parent 776f72650f
commit ac08bb6037
19 changed files with 2 additions and 1 deletions
@@ -1,6 +1,7 @@
 # strips out lines between two markers
 # pipe a file into, for example:
-#  make clean; make; echo "test dump" | ./emsesp | python3 ./scripts/dump_entities.py 
+#  make clean; make; echo "test entity_dump" | ./emsesp | python3 ./scripts/dump_entities.py > dump_entities.csv
+# see dump_entities.sh

 import fileinput
 with fileinput.input() as f_input: