Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 139f3728d55a35485d20287f1520e99c3807bea7
parent bfd6aafebf8b3632ffa17ad71b21ec61274546fa
Author: Francis Rowe <>
Date:   Mon,  7 Mar 2016 13:54:55 +0000

download/grub: use http:// if git:// fails

At the time, Savannah had an issue cloning from git:// for GRUB. They probably
fixed this already, but http:// worked alternatively. So add a catch that makes
it download from http:// if git:// fails

resources/scripts/helpers/download/grub | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/scripts/helpers/download/grub b/resources/scripts/helpers/download/grub @@ -35,7 +35,7 @@ rm -Rf "grub/" # ------------------------------------------------------------------------------ # download it using git -git clone git:// +git clone git:// || git clone # modifications are required cd "grub/"