# the config file can optionnally get passed as an argument
COMMAND=$(basename $0)
-REV=$(echo '$Revision$' | sed -e 's,\$,,g')
DEF_CONFIG="$HOME/.$(basename ${COMMAND} .sh)rc"
done
if [ -n "$OPT_VERSION" ] ; then
- echo "This is $COMMAND, $REV"
+ echo "This is $COMMAND"
exit 0
fi