From 9cb3d4b735d3792f251125b79556ea0e6932c35f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Philipp=20D=C3=B6rfler?= <phdoerfler@gmail.com>
Date: Tue, 27 Nov 2018 17:41:04 +0100
Subject: [PATCH] changed /bin/bash to /usr/bin/env bash

This abstracts over the exact location of the bash binary and makes NixOS people happy.
---
 examples/generate.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/generate.sh b/examples/generate.sh
index 1a06ba9..bdd2903 100755
--- a/examples/generate.sh
+++ b/examples/generate.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 BOXES=../scripts/boxes