Update CONTRIBUTORS

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index c9c706b06a220435f55f9c579eec2c3cec9d59cb..d742cf44cae8c27aeeaa1c796954e0b26bb1a437 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -13,9 +13,11 @@
 # this software will most likely follow suit.
 
 basename() {
-       local f; f="${1##*/}"
-       [ -z "$2" ] || f="${f%$2}"
-       echo "$f"
+       # Implemented in shell to avoid spawning another process
+       local file
+       file="${1##*/}"
+       [ -z "$2" ] || file="${file%$2}"
+       echo "$file"
 }
 
 SELF=$(basename $0)
@@ -29,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