]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - command_util.sh
string.h: for_each_line_ro() takes a _pointer_ to the line_handler.
[paraslash.git] / command_util.sh
index 822cad2af5a74037867e95d5613c27e8eb56f2ee..f0a861d61d887b5e68b9e90e9b9cfa512c23b9b6 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 
 read_header()