equal
deleted
inserted
replaced
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" |