From 0fadeed493688213b4c5daab32c5dbbcd41ce4c8 Mon Sep 17 00:00:00 2001 From: Ron Nazarov Date: Thu, 3 Jun 2021 12:47:08 +0100 Subject: replace #!/bin/bash with #!/usr/bin/env bash --- resources/scripts/download/grub | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'resources/scripts/download/grub') diff --git a/resources/scripts/download/grub b/resources/scripts/download/grub index 9d74c568..e5a448b3 100755 --- a/resources/scripts/download/grub +++ b/resources/scripts/download/grub @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # helper script: Downloads GRUB and patches it. # -- cgit v1.2.1