diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-06 22:15:27 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-06 22:15:27 +0200 |
commit | 49a587ec6e6a792bb246dffe16b6fe70bc47897e (patch) | |
tree | 5c60601195e5f968ea43bf3a60de0e470b7af2b7 /shell.nix | |
parent | fa8008b476b61da46a7bd6cc80ab4f0204c3b26e (diff) | |
parent | c2ab1e847670190d5c42d280c4375a73478d191d (diff) |
Merge PR #8001: Cache the build of the Nix package using Cachix.
Diffstat (limited to 'shell.nix')
-rw-r--r-- | shell.nix | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,4 +1,4 @@ # Some developers don't want a pinned nix-shell by default. # If you want to use the pin nix-shell or a more sophisticated set of arguments: -# $ nix-shell default.nix -import ./default.nix { pkgs = import <nixpkgs> {}; } +# $ nix-shell default.nix --arg shell true +import ./default.nix { pkgs = import <nixpkgs> {}; shell = true; } |