123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778 |
- #!/usr/bin/env bash
- [ "x${DEBUG+set}" = 'xset' ] && set -v
- set -u -e
- usage()
- {
- progname="./download grub"
- printf "Usage:\n"
- printf "\t%s # %s\n" \
- "${progname}" \
- "Download GRUB"
- printf "\t%s --help # %s\n" \
- "${progname}" \
- "Prints this help"
- }
- if [ $# -ne 0 ] ; then
- usage
- exit 0
- fi
- printf "Downloading GRUB\n"
- rm -Rf "grub/"
- git clone git://git.savannah.gnu.org/grub.git || git clone http://git.savannah.gnu.org/r/grub.git
- if [ ! -d "grub" ]; then
- printf "grub not downloaded; check network connection?\n\n"
- exit 1
- fi
- (
- cd "grub/"
- 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/
- git reset --hard d271f868a8df9bbec29049d01e056481b7a1a263
- rm -Rf .git*
- )
- printf "\n\n"
|