diff options
| author | Leah Rowe <leah@libreboot.org> | 2021-10-31 00:54:53 +0100 |
|---|---|---|
| committer | Leah Rowe <leah@libreboot.org> | 2021-10-31 07:13:46 +0000 |
| commit | 62fa042a17846f1619f257f878b928364d96b3a8 (patch) | |
| tree | 770413cb2bcdc70b84aa7eaeb6336a64e41bbbef /resources/scripts/download | |
| parent | 49198fe3d11817462f48ce3d3d567b2d8cd95462 (diff) | |
re-add grub backgrounds and update grub. mitigate missing characters
mitigate missing characters in unifont for border/arrow characters. this saves
space because now it is no longer necessary to add a custom font
the background added has the libreboot logo on it, and it's 10kb in size unlike
the old gnulove background that was hundreds of KB
Diffstat (limited to 'resources/scripts/download')
| -rwxr-xr-x | resources/scripts/download/grub | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/resources/scripts/download/grub b/resources/scripts/download/grub index e5a448b3..47c75bc1 100755 --- a/resources/scripts/download/grub +++ b/resources/scripts/download/grub @@ -43,7 +43,10 @@ fi # modifications are required cd "grub/" # reset to known revision -git reset --hard c0e647eb0e2bd09315612446cb4d90f7f75cb44c +git reset --hard 50aace6bdb918150ba47e3c16146dcca271c134a +for grubpatch in ../resources/grub/patches/*; do + git am "${grubpatch}" +done git clone git://git.sv.gnu.org/gnulib gnulib cd gnulib/ |