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

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()