diff options
| author | Leah Rowe <leah@libreboot.org> | 2022-02-19 12:38:48 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2022-02-19 12:38:48 +0000 |
| commit | fd41399961d81cfda997cb580957650b6ea5e9c3 (patch) | |
| tree | 2edd48f32872f646d2d783816bb479db84e3614f /resources/scripts/download/grub | |
| parent | cceffff659452daca0c1cd05d5bf981551dbee9c (diff) | |
| parent | 8833be159bfff1c417a7459dec323384bcbcb4d0 (diff) | |
Merge branch 'master' of GNUtoo/lbmk into master
Diffstat (limited to 'resources/scripts/download/grub')
| -rwxr-xr-x | resources/scripts/download/grub | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/resources/scripts/download/grub b/resources/scripts/download/grub index 47c75bc1..97bae1ed 100755 --- a/resources/scripts/download/grub +++ b/resources/scripts/download/grub @@ -21,6 +21,23 @@ [ "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 + # Remove the old version that may still exist # ------------------------------------------------------------------------------ |