diff options
author | Monwarez <monwarez@gmail.com> | 2016-11-26 02:28:56 +0100 |
---|---|---|
committer | Thibault Payet <monwarez@gmail.com> | 2017-07-26 00:18:53 +0200 |
commit | bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40 (patch) | |
tree | 09b7c88e828e3dd779658cc575df3e26c66696b6 /herculeswrapper | |
parent | e56a2a0f64c12f9fbeaccfa378fcddfb3620e74d (diff) | |
download | evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.tar.gz evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.tar.bz2 evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.tar.xz evol-tools-bc0e4eb01ce8ddba0f8e8b12c9bed9e50e8afc40.zip |
use env instead of full path to bash
Diffstat (limited to 'herculeswrapper')
-rwxr-xr-x | herculeswrapper/char.sh | 2 | ||||
-rw-r--r-- | herculeswrapper/include.sh | 2 | ||||
-rwxr-xr-x | herculeswrapper/login.sh | 2 | ||||
-rwxr-xr-x | herculeswrapper/map.sh | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/herculeswrapper/char.sh b/herculeswrapper/char.sh index cdca266..2b794d9 100755 --- a/herculeswrapper/char.sh +++ b/herculeswrapper/char.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash export PIPE=./log/charpipe.tmp diff --git a/herculeswrapper/include.sh b/herculeswrapper/include.sh index aecb988..4ee3750 100644 --- a/herculeswrapper/include.sh +++ b/herculeswrapper/include.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash function create_pipe { trap "rm -f $PIPE" EXIT diff --git a/herculeswrapper/login.sh b/herculeswrapper/login.sh index ae67bf8..32085dd 100755 --- a/herculeswrapper/login.sh +++ b/herculeswrapper/login.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash export PIPE=./log/loginpipe.tmp diff --git a/herculeswrapper/map.sh b/herculeswrapper/map.sh index 18994e2..055acd7 100755 --- a/herculeswrapper/map.sh +++ b/herculeswrapper/map.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash export PIPE=./log/mappipe.tmp export LOGIN_PIPE=./log/loginpipe.tmp |