Add a few old things.

1 files changed, 12 insertions, 0 deletions

diff --git a/clone b/clone
new file mode 100755
index 0000000..bbf920f
--- /dev/null
+++ b/clone
@@ -0,0 +1,12 @@
+#!/bin/bash
+
+set -eu
+
+for arg in "$@"
+do
+	dir=${arg#*:}
+	dir="$HOME"/src/${dir%/*}
+	mkdir -pv "$dir"
+	cd "$dir"
+	git clone --verbose --progress "$arg"
+done