diff options
| author | Sébastien Lesaint <sebastien.lesaint@sonarsource.com> | 2018-05-30 16:02:57 +0200 |
|---|---|---|
| committer | SonarTech <sonartech@sonarsource.com> | 2018-06-12 20:21:01 +0200 |
| commit | 41df35438631f365e434ca918b210733dcc78297 (patch) | |
| tree | d5a8b801a2b667f67aff5d219159be872c552eaf /scripts | |
| parent | 24509fd25897474c1f70af4279fcdba4baab86d7 (diff) | |
| download | sonarqube-41df35438631f365e434ca918b210733dcc78297.tar.gz sonarqube-41df35438631f365e434ca918b210733dcc78297.zip | |
[scripts] use a more portable bash shebang
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. ############################### |