Minor formatting updates

diff --git a/vcsh b/vcsh
index ee3514167317bbf9abfe682c089e93d37cc9f7a5..a6d0106cd7fac58429cf7070c08e26ba66bdbf2f 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -48,7 +48,7 @@ info() {
        echo "$SELF: info: $1"
 }
 
        echo "$SELF: info: $1"
 }
 

-clone () {
+clone() {

        init
        git remote add origin "$GIT_REMOTE"
        git config branch.master.remote origin
        init
        git remote add origin "$GIT_REMOTE"
        git config branch.master.remote origin


@@ -65,7 +65,7 @@ clone () {
        git merge origin/master
 }
 
        git merge origin/master
 }
 

-delete () {
+delete() {

        old_dir="$PWD"
        cd "$HOME"
        use
        old_dir="$PWD"
        cd "$HOME"
        use


@@ -86,7 +86,7 @@ To continue, type \"Yes, do as I say\""
        cd "$old_dir"
 }
 
        cd "$old_dir"
 }
 

-enter () {
+enter() {

        use
        $SHELL
 }
        use
        $SHELL
 }


@@ -101,18 +101,18 @@ init() {
        setup
 }
 
        setup
 }
 

-list () {
+list() {

        for i in "$VCSH_BASE"/*.git; do
                echo $(basename "$i" .git)
        done
 }
 
        for i in "$VCSH_BASE"/*.git; do
                echo $(basename "$i" .git)
        done
 }
 

-run () {
+run() {

        use
        $VCSH_EXTERNAL_COMMAND
 }
 
        use
        $VCSH_EXTERNAL_COMMAND
 }
 

-seed_gitignore () {
+seed_gitignore() {

        use
        # Switching directory as this has to be executed from $HOME to be of any use.
        # Going back into old directory at the end in case `vcsh use` is reactivated.
        use
        # Switching directory as this has to be executed from $HOME to be of any use.
        # Going back into old directory at the end in case `vcsh use` is reactivated.