gnuboot/resources/grub
Denis 'GNUtoo' Carikli 3faff837dd
resources: grub: config: (ab)use shellcheck to check it.
While the grub configuration file format is very different from real
shell scripts, the similarities are enough to make it pass shellcheck
with very few adjustements.

The advantage of using shellcheck here is that we can still detect
some issues such as variables that are referenced but not assigned.

For instance if we add 'echo "$test"' in the beginning of the
configuration file we then have:
    In resources/grub/config/grub.cfg line 24:
    echo "$test"
          ^---^ SC2154 (warning): test is referenced but not assigned
          (for output from commands, use "$(test ...)" ).

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Acked-by: Adrien 'neox' Bourmault <neox@gnu.org>
2024-12-13 17:10:08 +01:00
..
background Remove old logos, and make the website point to the new ones. 2024-06-16 12:55:14 +02:00
config resources: grub: config: (ab)use shellcheck to check it. 2024-12-13 17:10:08 +01:00
keymap Turkish Q Keyboard Layout Added 2021-05-23 16:30:08 +00:00
patches GRUB: Say the name GNUBoot in the grub menu 2023-08-22 21:16:51 +02:00
modules.list optimize grub modules: pre-load ones that will likely be used 2021-12-30 06:50:53 +00:00