From d4ca5907d67c4f2374b6231ff03d8ed36b39ec96 Mon Sep 17 00:00:00 2001
From: tv <tv@shackspace.de>
Date: Wed, 24 Jun 2015 20:10:41 +0200
Subject: s/nixos-fetch-git/fetchgit/

---
 bin/fetchgit | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 bin/fetchgit

(limited to 'bin/fetchgit')

diff --git a/bin/fetchgit b/bin/fetchgit
new file mode 100755
index 000000000..b9fe90854
--- /dev/null
+++ b/bin/fetchgit
@@ -0,0 +1,25 @@
+#! /bin/sh
+# usage: fetchgit REVISION URL WORKTREE
+set -euf
+
+git_rev=$1
+git_url=$2
+worktree=$3
+
+if [ ! -d "$worktree" ]; then
+  mkdir -p "$worktree"
+fi
+
+cd "$worktree"
+
+git init -q
+
+if ! current_url=$(git config remote.src.url); then
+  git remote add src "$git_url"
+elif [ "$current_url" != "$git_url" ]; then
+  git remote set-url src "$git_url"
+fi
+
+git fetch src
+
+git checkout "$git_rev"
-- 
cgit v1.2.3