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 --- hack/man-page-checker | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'hack/man-page-checker') diff --git a/hack/man-page-checker b/hack/man-page-checker index d2cc6c6e1..45f9edbd1 100755 --- a/hack/man-page-checker +++ b/hack/man-page-checker @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # man-page-checker - validate and cross-reference man page names # -- cgit v1.2.3-54-g00ecf