diff --git a/Makefile b/Makefile index 6618729e55..d2934e700c 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ .PHONY: gen dev-reset all clean test web website -SHELL := /bin/bash +SHELL := /usr/bin/env bash .SHELLFLAGS += ${SHELLFLAGS} -e -o pipefail PWD = $(shell pwd) UID = $(shell id -u) diff --git a/scripts/test_docker.sh b/scripts/test_docker.sh index 72a42da086..ed7e355778 100755 --- a/scripts/test_docker.sh +++ b/scripts/test_docker.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash set -e -x -o pipefail hash="$(git rev-parse HEAD || openssl rand -base64 36 | sha256sum)" diff --git a/website/scripts/docsmg/m.bash b/website/scripts/docsmg/m.bash index 0c4d022630..6d70de0187 100755 --- a/website/scripts/docsmg/m.bash +++ b/website/scripts/docsmg/m.bash @@ -1,2 +1,2 @@ -#!/bin/bash +#!/usr/bin/env bash docsmg move $1 $2 | tee -a migratefile