diff options
| author | tv <tv@krebsco.de> | 2015-05-19 22:02:19 +0200 | 
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-05-19 23:17:20 +0200 | 
| commit | 8929314a6594b207d6408251b8272fe5c17b1499 (patch) | |
| tree | b2155935ab4f3a136bb6dfdabb54bca79a6a7d00 | |
| parent | f0d3d6e19ef3c71b0e6bca90eab5dd6f8835da9b (diff) | |
prelude: consistently use "src" as remote name
| -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 d2c9da8..b92e030 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 | 
