diff options
| author | tv <tv@krebsco.de> | 2015-05-19 21:50:27 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2015-05-19 23:17:20 +0200 |
| commit | f0d3d6e19ef3c71b0e6bca90eab5dd6f8835da9b (patch) | |
| tree | 2436b792368e8f4659ab48392c07e45ce0645724 | |
| parent | 78ce67d8412e2b4ec1124bf727c3bc3260a17263 (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 0350642..d2c9da8 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 |