diff options
| -rw-r--r-- | lib/prelude.sh | 6 |
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 |