From dcd4a7b563a046f6e05cac27f6abc4c2160189b9 Mon Sep 17 00:00:00 2001
From: Trolli Schmittlauch <t.schmittlauch@orlives.de>
Date: Thu, 13 Aug 2020 13:08:38 +0200
Subject: [PATCH] add nix shell environment without HIE for smaller foot print

---
 shell-minimal.nix | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 shell-minimal.nix

diff --git a/shell-minimal.nix b/shell-minimal.nix
new file mode 100644
index 0000000..15cd4fb
--- /dev/null
+++ b/shell-minimal.nix
@@ -0,0 +1 @@
+(import ./default.nix {withHIE = false;}).shell