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 | |
| 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')
4 files changed, 4 insertions, 4 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/ diff --git a/resources/scripts/helpers/build/roms/withgrub_helper b/resources/scripts/helpers/build/roms/withgrub_helper index 26d69f0b..49294451 100755 --- a/resources/scripts/helpers/build/roms/withgrub_helper +++ b/resources/scripts/helpers/build/roms/withgrub_helper @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # helper script: create ROM images for a given system, with SeaGRUB # diff --git a/resources/scripts/helpers/build/roms/withseabios b/resources/scripts/helpers/build/roms/withseabios index e43c642f..71f0c448 100755 --- a/resources/scripts/helpers/build/roms/withseabios +++ b/resources/scripts/helpers/build/roms/withseabios @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: build ROM images with SeaBIOS and put them in ./bin/seabios/ diff --git a/resources/scripts/helpers/build/roms/withseabios_helper b/resources/scripts/helpers/build/roms/withseabios_helper index 61d36d99..caceddd0 100755 --- a/resources/scripts/helpers/build/roms/withseabios_helper +++ b/resources/scripts/helpers/build/roms/withseabios_helper @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # helper script: create ROM images for a given system, with SeaBIOS # |