diff --git a/repotool b/repotool index 9fd42c7..a2f587b 100755 --- a/repotool +++ b/repotool @@ -352,19 +352,21 @@ EOF exit 1 esac + local cloned="false" # we check if we have cloned the repo via the if the .git folder exists if [[ ! -d .git ]]; then # check if the remote actually exists $git ls-remote $repo_url > /dev/null && RC=$? || RC=$? if [[ $RC == 0 ]]; then $git clone $repo_url $target_dir >&2 + cloned="true" else echo "Could not find repo: $repo_url" exit 1 fi fi - echo dir=$target_dir domain=$domain path=$path repo_url=$repo_url + echo dir=$target_dir domain=$domain path=$path repo_url=$repo_url cloned=$cloned exit 0 diff --git a/repotool.plugin.zsh b/repotool.plugin.zsh index c65cc23..54c2764 100755 --- a/repotool.plugin.zsh +++ b/repotool.plugin.zsh @@ -1,5 +1,4 @@ #!/usr/bin/env zsh [[ -z "$REPOTOOL_PATH" ]] && export REPOTOOL_PATH="$HOME/repo" - alias repo=". $REPOTOOL_PATH/.bin/repotool.zsh"