diff options
| -rwxr-xr-x | rvi | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -24,6 +24,14 @@ # wraper for rcs to edit files. Checks out a file, spawns an editor, and then # commits the file again. +if [ "$#" = 0 ]; then + echo "Usage: $0 <file>" >&2 + exit 1 +elif [ "$1" = "-h" ] || [ "$1" = "--help" ]; then + echo "Usage: $0 <file>" + exit 0 +fi + if ! [ -e "$1" ] ; then echo "$1 does not exist." >&2 exit 1 |