From 41df35438631f365e434ca918b210733dcc78297 Mon Sep 17 00:00:00 2001 From: Sébastien Lesaint Date: Wed, 30 May 2018 16:02:57 +0200 Subject: [scripts] use a more portable bash shebang --- scripts/editions.sh | 2 +- scripts/generate_batch_reports.sh | 2 +- scripts/logs.sh | 2 +- scripts/property_utils.sh | 2 +- scripts/replay_batch.sh | 2 +- scripts/start.sh | 2 +- scripts/stop.sh | 2 +- 7 files changed, 7 insertions(+), 7 deletions(-) (limited to 'scripts') diff --git a/scripts/editions.sh b/scripts/editions.sh index 7913f8fec9a..238b4837e2f 100755 --- a/scripts/editions.sh +++ b/scripts/editions.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail diff --git a/scripts/generate_batch_reports.sh b/scripts/generate_batch_reports.sh index 00bcaf57b02..247fd1580f2 100755 --- a/scripts/generate_batch_reports.sh +++ b/scripts/generate_batch_reports.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ############################## # diff --git a/scripts/logs.sh b/scripts/logs.sh index 9b84391726b..90e64b3f175 100755 --- a/scripts/logs.sh +++ b/scripts/logs.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ############################### # usage: logs.sh [ -e ARG ] [ -l ARG ] [ -n ARG ] # -e ARG: edition to run diff --git a/scripts/property_utils.sh b/scripts/property_utils.sh index 86ba82da643..57b94f23ee5 100755 --- a/scripts/property_utils.sh +++ b/scripts/property_utils.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ############################### # exposes library functions to modify properties in a property # diff --git a/scripts/replay_batch.sh b/scripts/replay_batch.sh index c1bd9825016..3b6ae873b9e 100755 --- a/scripts/replay_batch.sh +++ b/scripts/replay_batch.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -euo pipefail diff --git a/scripts/start.sh b/scripts/start.sh index 2a1cdfad70d..d6b6d7a7add 100755 --- a/scripts/start.sh +++ b/scripts/start.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ############################### # usage: start.sh [ -e ARG ] [ -p ARG ] [ -l ARG ] # -e ARG: edition to run diff --git a/scripts/stop.sh b/scripts/stop.sh index f5da7431230..c0dd72d8dbb 100755 --- a/scripts/stop.sh +++ b/scripts/stop.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ############################### # Shortcut to stop server. It must be already built. ############################### -- cgit v1.2.3