diff options
Diffstat (limited to 'lib')
| -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 | 
