#!/bin/sh if [ -x ${HOME}/private/bin/dmgrep ]; then ${HOME}/private/bin/dmgrep "$@" else echo "dmgrep has moved to the ots-tools repository:" echo "" echo "https://github.com/OpenTechStrategies/ots-tools/blob/master/dmgrep" fi