#!/bin/bash # getgrub script: Downloads SeaBIOS and patches it. # # Copyright (C) 2014 Francis Rowe # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by # the Free Software Foundation, either version 3 of the License, or # (at your option) any later version. # # This program is distributed in the hope that it will be useful, # but WITHOUT ANY WARRANTY; without even the implied warranty of # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # # You should have received a copy of the GNU General Public License # along with this program. If not, see . # set -u -e -v # Get GRUB, revert to commit last used and apply patches. # Remove the old version that may still exist # ------------------------------------------------------------------------------- echo "DOWNLOADING GRUB" rm -rf seabios # Get latest GRUB # ------------------------------------------------------------------------------- # download it using git git clone git://git.seabios.org/seabios.git seabios cd seabios # Reset to the last commit that was tested # -------------------------------------------------------------------------------- git reset --hard 9f505f715793d99235bd6b4afb2ca7b96ba5729b # Apply patches # -------------------------------------------------------------------------------- # No patches needed for SeaBIOS at present. # we're done cd ../ echo "FINISHED DOWNLOADING SEABIOS" # ------------------- DONE ----------------------