Unix: use `#!/usr/bin/env bash` shebang jv
authorJan Vrany <jan.vrany@fit.cvut.cz>
Fri, 01 Feb 2019 22:19:40 +0000
branchjv
changeset 1587 7fcb40139a7c
parent 1586 e174b1111c7c
child 1608 efa48d08c563
Unix: use `#!/usr/bin/env bash` shebang ...rather than just `//bin/bash`. Not all systems have Bash in `/bin` (*BSDs, for instance).
smalltalk
--- a/smalltalk	Fri Oct 26 09:56:43 2018 +0100
+++ b/smalltalk	Fri Feb 01 22:19:40 2019 +0000
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # $Header$
 #