From 442bed3b59c07e41d0d321324c2cafdf1a48c23e Mon Sep 17 00:00:00 2001
From: Rob Vermaas <rob.vermaas@gmail.com>
Date: Mon, 17 Aug 2015 15:47:58 +0000
Subject: [PATCH] Force bash usage in dev-shell. Should fix #236

---
 dev-shell | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev-shell b/dev-shell
index d996c245..6ac01a2a 100755
--- a/dev-shell
+++ b/dev-shell
@@ -1,4 +1,4 @@
-#! /bin/sh
+#! /usr/bin/env bash
 s=$(type -p nix-shell)
 exec $s release.nix -A build.x86_64-linux --exclude tarball --command "
     export NIX_REMOTE=daemon