From 7dafe1c0f0114fb9c81ab5b92ac765434122af70 Mon Sep 17 00:00:00 2001
From: Stephen <23201165+notstephen@users.noreply.github.com>
Date: Tue, 7 May 2019 04:45:22 -0700
Subject: [PATCH] Update bash path (#430)

Call the default bash for the environment.
---
 launcher | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/launcher b/launcher
index d7eeb61..b629bfc 100755
--- a/launcher
+++ b/launcher
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 usage () {
   echo "Usage: launcher COMMAND CONFIG [--skip-prereqs] [--docker-args STRING]"
-- 
2.25.1