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/config | |
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/config')
8 files changed, 8 insertions, 8 deletions
diff --git a/resources/scripts/helpers/build/config/grubmodify b/resources/scripts/helpers/build/config/grubmodify index f6075034..606cc1ad 100755 --- a/resources/scripts/helpers/build/config/grubmodify +++ b/resources/scripts/helpers/build/config/grubmodify @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to modify them diff --git a/resources/scripts/helpers/build/config/grubreplace b/resources/scripts/helpers/build/config/grubreplace index ba8d55b8..b3a57ae3 100755 --- a/resources/scripts/helpers/build/config/grubreplace +++ b/resources/scripts/helpers/build/config/grubreplace @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to replace them diff --git a/resources/scripts/helpers/build/config/grubupdate b/resources/scripts/helpers/build/config/grubupdate index e9d9719c..72269213 100755 --- a/resources/scripts/helpers/build/config/grubupdate +++ b/resources/scripts/helpers/build/config/grubupdate @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make oldconfig" on all coreboot config files diff --git a/resources/scripts/helpers/build/config/seabiosmodify b/resources/scripts/helpers/build/config/seabiosmodify index 15f9ca48..72d1cbc0 100755 --- a/resources/scripts/helpers/build/config/seabiosmodify +++ b/resources/scripts/helpers/build/config/seabiosmodify @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: update the seabios config diff --git a/resources/scripts/helpers/build/config/seabiosrommodify b/resources/scripts/helpers/build/config/seabiosrommodify index df58928e..a25ae441 100755 --- a/resources/scripts/helpers/build/config/seabiosrommodify +++ b/resources/scripts/helpers/build/config/seabiosrommodify @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to modify them diff --git a/resources/scripts/helpers/build/config/seabiosromreplace b/resources/scripts/helpers/build/config/seabiosromreplace index 75453553..f172d193 100755 --- a/resources/scripts/helpers/build/config/seabiosromreplace +++ b/resources/scripts/helpers/build/config/seabiosromreplace @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make menuconfig" on config(s) to replace them diff --git a/resources/scripts/helpers/build/config/seabiosromupdate b/resources/scripts/helpers/build/config/seabiosromupdate index 1dc4673e..8e9f29af 100755 --- a/resources/scripts/helpers/build/config/seabiosromupdate +++ b/resources/scripts/helpers/build/config/seabiosromupdate @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: run "make oldconfig" on all coreboot config files diff --git a/resources/scripts/helpers/build/config/seabiosupdate b/resources/scripts/helpers/build/config/seabiosupdate index 17b0204b..be25b55c 100755 --- a/resources/scripts/helpers/build/config/seabiosupdate +++ b/resources/scripts/helpers/build/config/seabiosupdate @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # helper script: update the seabios config |