Specified shell in scripts

2022-01-02 16:46:46 +01:00
parent 089fdb55fa
commit babfb5de69
3 changed files with 2 additions and 0 deletions
--- a/flushcache.sh
+++ b/flushcache.sh
@@ -1 +1,2 @@
+#/bin/bash
 rm -f */*.aux *.aux *.lof *.log *.lot *.toc *.tps *.out *.fdb_latexmk *.fls *.bbl *.blg