Well, bother to at least prompt. Prep work for adding drm-amd.git.
Signed-off-by: Daniel Vetter <daniel.vet...@ffwll.ch>
---
dim | 9 ++++++++-
1 file changed, 8 insertions(+), 1 deletion(-)
diff --git a/dim b/dim
index 4d75c7a7fb0e..6ebbad2b6dfd 100755
--- a/dim
+++ b/dim
@@ -274,7 +274,14 @@ function url_to_remote # url
echoerr "Please set it up using:"
echoerr " $ git remote add <name> $url"
echoerr "with a name of your choice."
- return 1
+ remote=${url%.git}
+ remote=${remote##*/}
+ read -r -i "$remote" -e -p "Enter a name to auto-add
this remote, leave blank to abort: " || true
+ if [[ "$REPLY" == "" ]] ; then
+ exit 1
+ fi
+
+ git remote add $remote $url
fi
fi
--
2.14.1
_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dri-devel
