From f3b01ed6b7fc95cc81e59fbead57fe18f9d3b9f0 Mon Sep 17 00:00:00 2001 From: Florian Klink Date: Fri, 6 Dec 2019 13:32:53 +0100 Subject: dts/scripts: use #!/usr/bin/env bash shebang instead of #!/bin/bash Some distributions might not have bash in /bin, but in $PATH. Using #!/usr/bin/env bash solves this, and is consistent with how the perl and python shebangs look like in the tree. Signed-off-by: Florian Klink Signed-off-by: Sascha Hauer --- dts/scripts/cronjob | 2 +- dts/scripts/index-filter.sh | 2 +- dts/scripts/merge-new-release.sh | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) (limited to 'dts') diff --git a/dts/scripts/cronjob b/dts/scripts/cronjob index ccdbc0607e..b7511e4253 100755 --- a/dts/scripts/cronjob +++ b/dts/scripts/cronjob @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e diff --git a/dts/scripts/index-filter.sh b/dts/scripts/index-filter.sh index 9610855020..c301fcea1c 100755 --- a/dts/scripts/index-filter.sh +++ b/dts/scripts/index-filter.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e set -o pipefail diff --git a/dts/scripts/merge-new-release.sh b/dts/scripts/merge-new-release.sh index a2763c69bb..554b97b8eb 100755 --- a/dts/scripts/merge-new-release.sh +++ b/dts/scripts/merge-new-release.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash case $1 in v*-dts) ;; -- cgit v1.2.3