diff options
| -rwxr-xr-x | goval | 9 | 
1 files changed, 3 insertions, 6 deletions
| @@ -6,9 +6,6 @@  ## (c) 2018 Vincenzo 'KatolaZ' Nicosia <katolaz@freaknet.org>  ## -FIN=${1:-/dev/stdin} - -res=$(cat $FIN | sed -n -E -e '/(^[0-9+gIThis].*\t.*\t.*\t|^\.\r$)/! =' | tr '\n' ' ') - -[ -z "$res" ] && exit 0 -echo "Errors on lines: $res" >&2 && exit 1  +[ -z "$(cat ${1:-/dev/stdin} | sed -n -E -e '/(^[0-9+gIThis].*\t.*\t.*\t|^\.\r$)/! =' \ +	| tr '\n' ' ' | tee /dev/stderr )" ] && exit 0 +echo && exit 1 | 
