scripts/awk
branchv_0
changeset 29 b3d1a671315b
parent 27 86d8bbc99e7b
child 35 eafffeea6a3e
equal deleted inserted replaced
28:4fdbe30d8c58 29:b3d1a671315b
    58 
    58 
    59 cat "$logDir/awk-stderr.log" >&2;
    59 cat "$logDir/awk-stderr.log" >&2;
    60 exit `cat "$logDir/awk-status.log"`;
    60 exit `cat "$logDir/awk-status.log"`;
    61 
    61 
    62 # Use e.g. GNU Screen with four windows to watch files:
    62 # Use e.g. GNU Screen with four windows to watch files:
       
    63 # tabs 2
    63 # watchFile() { while inotifywait "$1" &>/dev/null ; do clear; cat "$1" ; done; }
    64 # watchFile() { while inotifywait "$1" &>/dev/null ; do clear; cat "$1" ; done; }
    64 # watchFile "/tmp/relpipe-tr-awk/awk-args.log"
    65 # watchFile "/tmp/relpipe-tr-awk/awk-args.log"
    65 # watchFile "/tmp/relpipe-tr-awk/awk-stdin.log"
    66 # watchFile "/tmp/relpipe-tr-awk/awk-stdin.log"
    66 # watchFile "/tmp/relpipe-tr-awk/awk-stdout.log"
    67 # watchFile "/tmp/relpipe-tr-awk/awk-stdout.log"
    67 # watchFile "/tmp/relpipe-tr-awk/awk-stderr.log"
    68 # watchFile "/tmp/relpipe-tr-awk/awk-stderr.log"