From 42774708bafe48aefe411fab4ca4d75407f9d1d6 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Thu, 5 Jul 2018 11:44:43 +0200
Subject: [pkg:nix] Stop using lib.inNixShell.

---
 shell.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
index 45070b2ba..3201c5050 100644
--- a/shell.nix
+++ b/shell.nix
@@ -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; }
-- 
cgit v1.2.3