home

Code Library

if [[ -v SILENT ]]; then
    if [[ "$SILENT" -gt 0 ]]; then
	    cat /dev/stdin >/dev/null 2>&1;
    else
		cat /dev/stdin
    fi
fi