From b6e6d5eba409ca26934308a171c01210747248d7 Mon Sep 17 00:00:00 2001 From: Andrew Robbins Date: Fri, 23 Jun 2017 13:06:02 -0400 Subject: Replaced '#!/bin/bash' w/ '#!/usr/bin/env bash' This is mainly useful for being able to run these scripts on BSDs. And for users who use a Bash not installed to /bin. --- resources/scripts/misc/grubeditor.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'resources/scripts/misc/grubeditor.sh') diff --git a/resources/scripts/misc/grubeditor.sh b/resources/scripts/misc/grubeditor.sh index 84284645..9b26a5e0 100644 --- a/resources/scripts/misc/grubeditor.sh +++ b/resources/scripts/misc/grubeditor.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # grubeditor.sh -- conveniently edit grub{test}.cfg files by automating their # extraction with cbfstool and the user's editor of choice. -- cgit v1.2.3-70-g09d2