#!/bin/bash -e cat >/dev/null # Just discard stdin data if [[ -f /proc/$PPID/cmdline ]]; then while read -d $'\0' arg ; do if [[ "$arg" == '--tags' ]] ; then exit 0 fi done