+if [ -x /usr/bin/agrep ] ; then
+ if [ -n "$1" ] ; then
+ agrep -d "^-- $" -i "$1" $TIPSFILE && echo "" || \
+ ( echo "Sorry, could not find a tip for '$1'. :-(" >&2
+ echo 'If you want to submit a tip please mail it to tips@grml.org - thank you!' >&2
+ exit 1 )
+ else
+ echo "Usage: $0 <keyword>" >&2 ; exit 1
+ fi
+else # workaround solution for systems without agrep :-/