vcsh: Output formatting

[code/vcsh.git] / vcsh

diff --git a/vcsh b/vcsh
index b54ecb42ef1e18b7b06395b7c294b909a5bc6f37..0742bec960f0741f5e369be6550c2265fda026e2 100755 (executable)
--- a/vcsh
+++ b/vcsh
@@ -24,7 +24,7 @@ basename() {
 }
 
 SELF=$(basename $0)
-VERSION='1.20130614'
+VERSION='1.20130723'
 
 fatal() {
        echo "$SELF: fatal: $1" >&2
@@ -233,6 +233,7 @@ pull() {
                export GIT_DIR="$VCSH_REPO_D/$VCSH_REPO_NAME.git"
                use
                git pull
+               echo
        done
        hook post-pull
 }
@@ -244,6 +245,7 @@ push() {
                export GIT_DIR="$VCSH_REPO_D/$VCSH_REPO_NAME.git"
                use
                git push
+               echo
        done
        hook post-push
 }