summaryrefslogtreecommitdiff
path: root/resources/scripts/download/grub
AgeCommit message (Expand)Author
2023-05-14download/grub: delete grub if gnulib cloning failsLeah Rowe
2023-03-17move download/gitmodule script to root directoryLeah Rowe
2022-12-28Do not rely on bashisms and behaviour undefined by the POSIX specification. P...Ferass 'Vitali64' EL HAFIDI
2022-11-14pragmatic system distribution guideline compliancepsdgLeah Rowe
2022-02-16download: Add --help in the individual download scriptsDenis 'GNUtoo' Carikli
2021-10-31re-add grub backgrounds and update grub. mitigate missing charactersLeah Rowe
2021-06-03replace #!/bin/bash with #!/usr/bin/env bashRon Nazarov
2021-05-18libreboot!Leah Rowe