scripts/awk
branchv_0
changeset 29 b3d1a671315b
parent 27 86d8bbc99e7b
child 35 eafffeea6a3e
--- a/scripts/awk	Sat May 25 17:00:51 2019 +0200
+++ b/scripts/awk	Sat May 25 21:52:56 2019 +0200
@@ -60,6 +60,7 @@
 exit `cat "$logDir/awk-status.log"`;
 
 # Use e.g. GNU Screen with four windows to watch files:
+# tabs 2
 # watchFile() { while inotifywait "$1" &>/dev/null ; do clear; cat "$1" ; done; }
 # watchFile "/tmp/relpipe-tr-awk/awk-args.log"
 # watchFile "/tmp/relpipe-tr-awk/awk-stdin.log"