From 375f7dce708eb327ce00e4421aebd8be7b95155c Mon Sep 17 00:00:00 2001 From: Richard Hartmann Date: Sat, 19 Nov 2011 17:25:51 +0100 Subject: [PATCH] Quit vcsh if repo can not be found --- vcsh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/vcsh b/vcsh index 9df4f9d..58faf36 100755 --- a/vcsh +++ b/vcsh @@ -54,7 +54,7 @@ use() { if [ ! -d "$GIT_DIR" ]; then echo E: no repository found for "$REPO_NAME" >&2 - return 2 + return 1 fi export GIT_DIR @@ -103,7 +103,7 @@ elif [ "$1" = 'list' ]; then elif [ "$1" = 'run' ]; then verbose "run begin" - use "$2" + use "$2" || return 1 shift 2 "$@" leave @@ -124,7 +124,7 @@ elif [ "$1" = 'run' ]; then # zle -N vcsh_exit # bindkey '^d' 'vcsh_exit' # fi -# use $2 +# use "$2" || return 1 # [ -n "$ZSH_VERSION" ] && [ "$USER" = richih ] && buildPS1 # verbose "use end" # exit 0 @@ -153,7 +153,7 @@ elif [ "$1" = 'clone' ]; then echo " Once this situation has been resolved, run 'vcsh run git pull' to finish cloning.\n" && exit 3 git merge origin/master -# vcsh use $REPO_NAME +# use $REPO_NAME || return 1 verbose "clone end" elif [ "$1" = 'init' ]; then @@ -162,7 +162,7 @@ elif [ "$1" = 'init' ]; then export REPO_NAME="$2" export GIT_DIR="$VCSH_BASE/$REPO_NAME.git" init -# vcsh use "$REPO_NAME" +# use "$REPO_NAME" || return 1 verbose "init end" #elif [ "$1" = 'exit' ]; then @@ -179,7 +179,7 @@ elif [ "$1" = 'init' ]; then elif [ "$1" = 'seed-gitignore' ]; then verbose "seed-gitignore begin" [ -z $2 ] && help && echo && echo "$SELF $1: error: please specify repository to work on" && return 0 - use "$2" + use $2 || return 1 # 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. old_dir="$PWD" -- 2.39.2