diff options
Diffstat (limited to 'getseabios')
| -rwxr-xr-x | getseabios | 55 |
1 files changed, 0 insertions, 55 deletions
diff --git a/getseabios b/getseabios deleted file mode 100755 index 6e7d8b5..0000000 --- a/getseabios +++ /dev/null @@ -1,55 +0,0 @@ -#!/bin/bash - -# getseabios script: Downloads SeaBIOS and patches it. -# -# Copyright (C) 2014 Francis Rowe <info@gluglug.org.uk> -# -# 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 <http://www.gnu.org/licenses/>. -# - -set -u -e -v - -# 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 ed675ad4193bc7f929e5b39074d50672970aefa3 - -# Apply patches -# -------------------------------------------------------------------------------- - -# No patches needed for SeaBIOS at present. - -# we're done -cd ../ - -echo "FINISHED DOWNLOADING SEABIOS" - -# ------------------- DONE ---------------------- - - |