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 /localserver/givegm.sh | |
| 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 'localserver/givegm.sh')
| -rwxr-xr-x | localserver/givegm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/localserver/givegm.sh b/localserver/givegm.sh index c1a9c28..ac9d301 100755 --- a/localserver/givegm.sh +++ b/localserver/givegm.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ID="$1" if [[ -z "${ID}" ]]; then |