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 /ci/install.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 'ci/install.sh')
| -rwxr-xr-x | ci/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/install.sh b/ci/install.sh index 409ff81..0dd41b6 100755 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash function aptget_update { apt-get update |