ref: 099825acc6231c700ee53359f3fb80dfb5a83eee
parent: 70c03a4398217738b9328289cd76490f1807ef39
author: Ori Bernstein <ori@eigenstate.org>
date: Sun May 30 22:29:06 EDT 2021
git/clone: allow cloning into empty dirs git/clone: allow cloning into empty dirs (thanks noam)
--- a/clone
+++ b/clone
@@ -17,7 +17,7 @@
if(~ $#branch 1)
branchflag=(-b $branch)
-if(test -e $local)
+if(! ~ `{ls $local | wc -l} 0)
die 'repository already exists:' $local
fn clone{