diff options
| author |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-05 11:44:43 +0200 |
|---|---|---|
| committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-05 17:48:03 +0200 |
| commit | 42774708bafe48aefe411fab4ca4d75407f9d1d6 (patch) | |
| tree | 4d27cb7c3397d9e78976a10088a9125555a46147 /shell.nix | |
| parent | f758debf01fc88d5531825fe42f59f4f8c19247c (diff) | |
[pkg:nix] Stop using lib.inNixShell.
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; } |