Update CONTRIBUTORS

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index b03df7aaca40292c9a15c8e3a4565ffbbc5ae80c..d742cf44cae8c27aeeaa1c796954e0b26bb1a437 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -12,6 +12,14 @@
 # which is admittedly extremely unlikely to the point of being impossible,
 # this software will most likely follow suit.
 
+basename() {
+       # Implemented in shell to avoid spawning another process
+       local file
+       file="${1##*/}"
+       [ -z "$2" ] || file="${file%$2}"
+       echo "$file"
+}
+
 SELF=$(basename $0)
 VERSION='1.2'
 
@@ -23,7 +31,7 @@ fatal() {
 # We need to run getops as soon as possible so we catch -d and other
 # options that will modify our behaviour.
 # Commands are handled at the end of this script.
-while getopts  "c:dv" flag; do
+while getopts "c:dv" flag; do
        if [ "$1" = '-d' ] || [ "$1" = '--debug' ]; then
                set -vx
                VCSH_DEBUG=1