From ba9f18e2b87a1dc6b9f7fea304379c4e41aaaa85 Mon Sep 17 00:00:00 2001 From: Sascha Grunert Date: Mon, 17 Aug 2020 09:18:02 +0200 Subject: Use `bash` binary from env instead of /bin/bash for scripts It's not possible to run any of the scripts on distributions which do have `bash` not in `/bin`. This is being fixed by using `/usr/bin/env bash` instead. Signed-off-by: Sascha Grunert --- docs/remote-docs.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'docs/remote-docs.sh') diff --git a/docs/remote-docs.sh b/docs/remote-docs.sh index 4774b94a3..6d520fae6 100755 --- a/docs/remote-docs.sh +++ b/docs/remote-docs.sh @@ -1,5 +1,6 @@ -#!/bin/bash -e +#!/usr/bin/env bash # Assemble remote man pages for darwin or windows from markdown files +set -e PLATFORM=$1 ## linux, windows or darwin TARGET=${2} ## where to output files -- cgit v1.2.3-54-g00ecf