From 8a750efed0399f36679cddd3718841ff293711b6 Mon Sep 17 00:00:00 2001 From: Florian Klink Date: Fri, 6 Dec 2019 13:32:54 +0100 Subject: docs: 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 --- Documentation/user/usb.rst | 2 +- MAKEALL | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Documentation/user/usb.rst b/Documentation/user/usb.rst index 029e463540..4c1b2925f2 100644 --- a/Documentation/user/usb.rst +++ b/Documentation/user/usb.rst @@ -172,7 +172,7 @@ and initrd: .. code-block:: sh - #!/bin/bash + #!/usr/bin/env bash set -e set -v diff --git a/MAKEALL b/MAKEALL index 909e170b15..3548739e37 100755 --- a/MAKEALL +++ b/MAKEALL @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # Print statistics when we exit trap exit 1 2 3 15 -- cgit v1.2.3