diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/editions.sh | 2 | ||||
| -rwxr-xr-x | scripts/generate_batch_reports.sh | 2 | ||||
| -rwxr-xr-x | scripts/logs.sh | 2 | ||||
| -rwxr-xr-x | scripts/property_utils.sh | 2 | ||||
| -rwxr-xr-x | scripts/replay_batch.sh | 2 | ||||
| -rwxr-xr-x | scripts/start.sh | 2 | ||||
| -rwxr-xr-x | scripts/stop.sh | 2 |
7 files changed, 7 insertions, 7 deletions
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. ############################### |