ref: f9cb8f8bffc32bb26b7a5b1ccc48d344c4544d15
parent: f4da816bf3faa3aca914af1a48c93b3c5b7f8892
author: Ori Bernstein <ori@eigenstate.org>
date: Fri Feb 28 11:38:12 EST 2020
strip tailing '/'s on git clone When cloning git URLs, sometimes we get a trailing '/'. This confuses us, since we expect 'basename' to give the name of the repository. We could give an error, but we know what to do to fix it. This unbreaks things like: git/clone git://github.com/oridb/git9/
--- a/clone
+++ b/clone
@@ -6,7 +6,7 @@
git/clone remote [local]
'
-remote=$1
+remote=`{echo $1 | sed 's@/*$@@g'}local=$2
if(~ $#remote 0)