diff options
| author | tv <tv@shackspace.de> | 2015-06-28 15:04:45 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-06-28 15:06:12 +0200 |
| commit | 2e6221e095c0086674248526bae3e1ad03efc064 (patch) | |
| tree | 3b84c415cbdc02394bed0b8ee698ea078842168a /infest-cac-CentOS-7-64bit.sh | |
| parent | 3ca8eec45c93d6fd0f887613f7df2b16e63a8b69 (diff) | |
fetchgit: allow using dirty local work trees
Diffstat (limited to 'infest-cac-CentOS-7-64bit.sh')
| -rwxr-xr-x | infest-cac-CentOS-7-64bit.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/infest-cac-CentOS-7-64bit.sh b/infest-cac-CentOS-7-64bit.sh index 207c403de..a4ef51ebf 100755 --- a/infest-cac-CentOS-7-64bit.sh +++ b/infest-cac-CentOS-7-64bit.sh @@ -14,10 +14,12 @@ systemname=$2 NIX_PATH=$NIX_PATH:secrets=$PWD/secrets/$systemname/nix export NIX_PATH - rev=$(nixos-query nixpkgs.rev) - url=$(nixos-query nixpkgs.url) + case $(nixos-query nixpkgs.dirty) in true) + echo "$0: cannot use nixpkgs.dirty" >&2 # b/c ./cac pushconfig + exit -1 + esac - fetchgit "$rev" "$url" tmp/nixpkgs/$systemname + fetchgit nixpkgs tmp/nixpkgs/$systemname ) ./cac poll 10s 2>/dev/null & |