X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=command_util.sh;h=f0a861d61d887b5e68b9e90e9b9cfa512c23b9b6;hp=822cad2af5a74037867e95d5613c27e8eb56f2ee;hb=8d7f47e8cec74e4d209cfa1f6c4c0cec3b0e5019;hpb=5e54609eda6f4417e8b7042db59ecf47fd720751

diff --git a/command_util.sh b/command_util.sh
index 822cad2a..f0a861d6 100755
--- a/command_util.sh
+++ b/command_util.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 
 read_header()