From 5b4567d75d5c5ee12f35e563dacec303c918ce3d Mon Sep 17 00:00:00 2001
From: tv <tv@shackspace.de>
Date: Tue, 19 May 2015 22:02:19 +0200
Subject: prelude: consistently use "src" as remote name

---
 lib/prelude.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lib')

diff --git a/lib/prelude.sh b/lib/prelude.sh
index d2c9da8aa..b92e030e8 100644
--- a/lib/prelude.sh
+++ b/lib/prelude.sh
@@ -17,12 +17,12 @@ clone_or_update() {(
     git init -q
 
     if ! current_url=$(git config remote.src.url); then
-      git remote add "src" "$git_url"
+      git remote add src "$git_url"
     elif [ $current_url != $git_url ]; then
-      git remote set-url src ${git_url}
+      git remote set-url src "$git_url"
     fi
 
-    git fetch config
+    git fetch src
 
     git checkout "$git_rev"
   ' | ssh "$target" env nixpkgs_dir="$nixpkgs_dir" git_url="$git_url" git_rev="$git_rev" /bin/sh
-- 
cgit v1.2.3