Update bash path (#430)

Update bash path (#430)

Call the default bash for the environment.

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]"

GitHub sha: 7dafe1c0

2 Likes