diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/fetchgit | 26 | ||||
| -rwxr-xr-x | bin/nixos-build | 5 |
2 files changed, 21 insertions, 10 deletions
diff --git a/bin/fetchgit b/bin/fetchgit index 7862989be..ba5b40b6a 100755 --- a/bin/fetchgit +++ b/bin/fetchgit @@ -1,14 +1,27 @@ #! /bin/sh # -# usage: fetchgit git_rev git_url out_link +# usage: fetchgit repo_name out_link # -# Clone the specified Git repository and make it available as out_link. +# Make the specified repository available as out_link. # set -euf -git_rev=$1 -git_url=$2 -out_link=$3 +repo_name=$1 +out_link=$2 + +if test "$repo_name" != nixpkgs; then + echo "fetchgit: cannot fetch $repo_name, yet" >&2 + exit -1 +fi + +git_rev=$(nixos-query nixpkgs.rev) +git_url=$(nixos-query nixpkgs.url) +dirty=$(nixos-query nixpkgs.dirty) + +case $dirty in true) + ln -snf "$git_url" "$out_link" + exit +esac # Put all bases in the same place as out_link. # Notice how out_link must not clash with cache_dir and work_dir. @@ -39,7 +52,8 @@ is_up_to_date() { test "$(work_git rev-parse --verify HEAD)" = "$git_rev" } -# Notice how the remote name "origin" has been chosen arbitrarily. +# Notice how the remote name "origin" has been chosen arbitrarily, but must be +# kept in sync with the default value of nixpkgs.rev. if ! is_up_to_date; then if ! test -d "$cache_dir"; then mkdir -p "$cache_dir" diff --git a/bin/nixos-build b/bin/nixos-build index 200f99e4a..d00fc4d6b 100755 --- a/bin/nixos-build +++ b/bin/nixos-build @@ -21,10 +21,7 @@ secrets_rsync=$secrets_root/$host/rsync NIX_PATH=$NIX_PATH:secrets=$secrets_nix export NIX_PATH - rev=$(nixos-query nixpkgs.rev) - url=$(nixos-query nixpkgs.url) - - fetchgit "$rev" "$url" tmp/nixpkgs/$host + fetchgit nixpkgs tmp/nixpkgs/$host ) nix-build \ |