scripts/awk
branchv_0
changeset 27 86d8bbc99e7b
parent 16 4e8fe4cc70f0
child 29 b3d1a671315b
equal deleted inserted replaced
26:cf57e8c78492 27:86d8bbc99e7b
    45 		done;
    45 		done;
    46 		((i++));
    46 		((i++));
    47 	done | relpipe-in-cli generate-from-stdin args 2 i integer value string | relpipe-out-tabular
    47 	done | relpipe-in-cli generate-from-stdin args 2 i integer value string | relpipe-out-tabular
    48 }
    48 }
    49 
    49 
       
    50 realAWK() {
       
    51 	/usr/bin/awk "$@"
       
    52 	echo "$?" > "$logDir/awk-status.log"
       
    53 }
       
    54 
    50 formatArgsTxt "$@" > "$logDir/awk-args.log";
    55 formatArgsTxt "$@" > "$logDir/awk-args.log";
    51 
    56 
    52 tee "$logDir/awk-stdin.log" | /usr/bin/awk "$@" 2> "$logDir/awk-stderr.log" | tee "$logDir/awk-stdout.log";
    57 tee "$logDir/awk-stdin.log" | realAWK "$@" 2> "$logDir/awk-stderr.log" | tee "$logDir/awk-stdout.log";
       
    58 
       
    59 cat "$logDir/awk-stderr.log" >&2;
       
    60 exit `cat "$logDir/awk-status.log"`;
    53 
    61 
    54 # Use e.g. GNU Screen with four windows to watch files:
    62 # Use e.g. GNU Screen with four windows to watch files:
    55 # watchFile() { while inotifywait "$1" &>/dev/null ; do clear; cat "$1" ; done; }
    63 # watchFile() { while inotifywait "$1" &>/dev/null ; do clear; cat "$1" ; done; }
    56 # watchFile "/tmp/relpipe-tr-awk/awk-args.log"
    64 # watchFile "/tmp/relpipe-tr-awk/awk-args.log"
    57 # watchFile "/tmp/relpipe-tr-awk/awk-stdin.log"
    65 # watchFile "/tmp/relpipe-tr-awk/awk-stdin.log"