diff options
| author | tv <tv@shackspace.de> | 2015-05-19 21:50:27 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-05-19 23:17:20 +0200 |
| commit | eadedf334c293660f08ab89d1474e2ce8cfd13b8 (patch) | |
| tree | 2436b792368e8f4659ab48392c07e45ce0645724 | |
| parent | 62667708bdd5f4efd183926b94110d808b3171e2 (diff) | |
prelude: there's no cache-git
| -rw-r--r-- | lib/prelude.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/prelude.sh b/lib/prelude.sh index 0350642b3..d2c9da8aa 100644 --- a/lib/prelude.sh +++ b/lib/prelude.sh @@ -17,9 +17,9 @@ clone_or_update() {( git init -q if ! current_url=$(git config remote.src.url); then - ${cache-git} remote add "src" "$git_url" + git remote add "src" "$git_url" elif [ $current_url != $git_url ]; then - ${cache-git} remote set-url src ${git_url} + git remote set-url src ${git_url} fi git fetch config |