#!/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://code.librehq.com/ots/ots-tools/-/blob/main/dmgrep" fi