This lets us handle url_to_remote failures gracefully where they're not fatal.
Signed-off-by: Jani Nikula <[email protected]> --- dim | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/dim b/dim index 98362f7784a7..ac0be0b97ea1 100755 --- a/dim +++ b/dim @@ -205,7 +205,7 @@ function url_to_remote # url if [[ -z "$url" ]]; then echoerr "$0 without url" - exit 1 + return 1 fi remote=$(git remote -v | grep -m 1 "$url" | cut -f 1) @@ -215,10 +215,12 @@ function url_to_remote # url echoerr "Please set it up using:" echoerr " $ git remote add <name> $url" echoerr "with a name of your choice." - exit 1 + return 1 fi echo $remote + + return 0 } function branch_to_remote # branch -- 2.1.4 _______________________________________________ Intel-gfx mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/intel-gfx
