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