diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-13T10·08+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-11-13T10·08+0000 |
commit | 3392d32e8b4202da8d3b013edd6f585e98aa7b02 (patch) | |
tree | 12dcf1cc9e5353aa03335b7f4102e853d9f2d483 /scripts/nix-channel.in | |
parent | 327a232c85de3faa56f9a6117c86e1aa22f88bd6 (diff) |
* In nix-pull/nix-channel, create the manifests directory if it
doesn't exist. The Debian packages don't include the manifests directory, so nix-channel would silently skip doing a nix-pull, resulting in everything being built from source. Thanks to Juan Pedro Bolívar Puente.
Diffstat (limited to 'scripts/nix-channel.in')
-rw-r--r-- | scripts/nix-channel.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/nix-channel.in b/scripts/nix-channel.in index 8faee0b0e572..db5d35c6eba1 100644 --- a/scripts/nix-channel.in +++ b/scripts/nix-channel.in @@ -78,6 +78,9 @@ sub removeChannel { sub update { readChannels; + # Create the manifests directory if it doesn't exist. + mkdir "$stateDir/manifests", 0755 unless -e "$stateDir/manifests"; + # Do we have write permission to the manifests directory? If not, # then just skip pulling the manifest and just download the Nix # expressions. If the user is a non-privileged user in a |