summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-05-19 22:02:19 +0200
committertv <tv@shackspace.de>2015-05-19 23:17:20 +0200
commit5b4567d75d5c5ee12f35e563dacec303c918ce3d (patch)
treeb2155935ab4f3a136bb6dfdabb54bca79a6a7d00 /lib
parenteadedf334c293660f08ab89d1474e2ce8cfd13b8 (diff)
prelude: consistently use "src" as remote name
Diffstat (limited to 'lib')
-rw-r--r--lib/prelude.sh6
1 files changed, 3 insertions, 3 deletions
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