diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/prelude.sh | 11 | 
1 files changed, 5 insertions, 6 deletions
| diff --git a/lib/prelude.sh b/lib/prelude.sh index c68bf55..0350642 100644 --- a/lib/prelude.sh +++ b/lib/prelude.sh @@ -14,15 +14,14 @@ clone_or_update() {(      cd "$nixpkgs_dir" -    if [ ! -e "$nixpkgs_dir"/.git ]; then -      git init -    fi +    git init -q -    if git remote -v | grep -q "^config\>"; then -      git remote remove config +    if ! current_url=$(git config remote.src.url); then +      ${cache-git} remote add "src" "$git_url" +    elif [ $current_url != $git_url ]; then +      ${cache-git} remote set-url src ${git_url}      fi -    git remote add config "$git_url"      git fetch config      git checkout "$git_rev" | 
