diff options
| author | Joseph Michael Thompson <jmt@josepht.me> | 2015-04-10 15:15:07 (EDT) |
|---|---|---|
| committer | Francis Rowe <info@gluglug.org.uk> | 2015-04-10 16:53:18 (EDT) |
| commit | 1360aae9a0caae69fe468a0832c01dfaa2563faa (patch) | |
| tree | 740dace72e7b53500f60759af0f6b1388fe5e335 /resources/scripts/helpers/download/grub | |
| parent | 57444b1c8bbe6169cd536c67591e276ad4910b71 (diff) | |
| download | libreboot-1360aae9a0caae69fe468a0832c01dfaa2563faa.zip libreboot-1360aae9a0caae69fe468a0832c01dfaa2563faa.tar.gz libreboot-1360aae9a0caae69fe468a0832c01dfaa2563faa.tar.bz2 | |
trim a few long lines, eliminate/add trailing newlines for consistency
Diffstat (limited to 'resources/scripts/helpers/download/grub')
| -rwxr-xr-x | resources/scripts/helpers/download/grub | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/resources/scripts/helpers/download/grub b/resources/scripts/helpers/download/grub index 6b6c47f..91f97ff 100755 --- a/resources/scripts/helpers/download/grub +++ b/resources/scripts/helpers/download/grub @@ -27,14 +27,14 @@ set -u -e # Get GRUB, revert to commit last used and apply patches. # Remove the old version that may still exist -# ------------------------------------------------------------------------------- +# ------------------------------------------------------------------------------ printf "Downloading GRUB\n" rm -rf grub # Get latest GRUB -# ------------------------------------------------------------------------------- +# ------------------------------------------------------------------------------ # download it using git git clone git://git.savannah.gnu.org/grub.git @@ -43,12 +43,12 @@ git clone git://git.savannah.gnu.org/grub.git cd grub # Reset to the last commit that was tested -# -------------------------------------------------------------------------------- +# ------------------------------------------------------------------------------ git reset --hard fa07d919d1ff868b18d8a42276d094b63a58e299 # Apply patches -# -------------------------------------------------------------------------------- +# ------------------------------------------------------------------------------ # Replace "GNU GRUB version" in GRUB screen with "FREE AS IN FREEDOM" git am "../resources/grub/patch/0001-grub-core-normal-main.c-Display-FREE-AS-IN-FREEDOM-n.patch" @@ -63,4 +63,3 @@ printf "\n\n" # ------------------- DONE ---------------------- - |