From def875bd55053957fb28bc6004576b6ca20dad7a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 3 Jul 2018 16:53:27 +0200
Subject: Add a shell.nix that is not pinned to satisfy some developers'
 preference.

---
 shell.nix | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 shell.nix

(limited to 'shell.nix')

diff --git a/shell.nix b/shell.nix
new file mode 100644
index 000000000..45070b2ba
--- /dev/null
+++ b/shell.nix
@@ -0,0 +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> {}; }
-- 
cgit v1.2.3