branch | v_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"