diff options
author | Andrew Robbins <contact@andrewrobbins.info> | 2017-06-23 13:06:02 -0400 |
---|---|---|
committer | Andrew Robbins <contact@andrewrobbins.info> | 2017-06-23 14:59:57 -0400 |
commit | b6e6d5eba409ca26934308a171c01210747248d7 (patch) | |
tree | aff092d91ed7b7f47fe396a16da2b7d29b721099 /resources/scripts/helpers/build/roms/withgrub | |
parent | 87047e55156f7b9f0bffe4059890799e1a987530 (diff) | |
download | librebootfr-b6e6d5eba409ca26934308a171c01210747248d7.tar.gz librebootfr-b6e6d5eba409ca26934308a171c01210747248d7.zip |
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.
Diffstat (limited to 'resources/scripts/helpers/build/roms/withgrub')
-rwxr-xr-x | resources/scripts/helpers/build/roms/withgrub | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/roms/withgrub b/resources/scripts/helpers/build/roms/withgrub index 28f35736..4b812bfe 100755 --- a/resources/scripts/helpers/build/roms/withgrub +++ b/resources/scripts/helpers/build/roms/withgrub @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: build ROM images with SeaGRUB and put them in ./bin/ |