Maybe there's only a read-only remote available, and with the drm-misc/-intel split that's perfectly fine. Signed-off-by: Daniel Vetter <daniel.vetter@xxxxxxxxx> --- dim | 15 ++++++++++----- 1 file changed, 10 insertions(+), 5 deletions(-) diff --git a/dim b/dim index e5afa9ee1bb8..cf61dc412652 100755 --- a/dim +++ b/dim @@ -218,11 +218,16 @@ function url_to_remote # url remote=$(git remote -v | grep -m 1 "$url" | cut -f 1) if [[ -z "$remote" ]]; then - echoerr "No git remote for url $url found in $(pwd)" - echoerr "Please set it up using:" - echoerr " $ git remote add <name> $url" - echoerr "with a name of your choice." - return 1 + git_url=`echo $url | sed -e 's/git\./anongit./' -e 's/ssh:/git:/'` + remote=$(git remote -v | grep -m 1 "$git_url" | cut -f 1) + + if [[ -z "$remote" ]]; then + echoerr "No git remote for url $url or $git_url found in $(pwd)" + echoerr "Please set it up using:" + echoerr " $ git remote add <name> $url" + echoerr "with a name of your choice." + return 1 + fi fi echo $remote -- 2.11.0 _______________________________________________ Intel-gfx mailing list Intel-gfx@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/intel-gfx
