diff options
Diffstat (limited to 'resources/utilities')
| -rwxr-xr-x | resources/utilities/grub-assemble/gen.sh | 2 | ||||
| -rwxr-xr-x | resources/utilities/grub-assemble/grub_memdisk_keymap | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh index 880fa666..fb1896bc 100755 --- a/resources/utilities/grub-assemble/gen.sh +++ b/resources/utilities/grub-assemble/gen.sh @@ -4,6 +4,8 @@ # notice and this notice are preserved. This file is offered as-is, # without any warranty. +set -u -e -v + # TODO: Fail (and clean up) if GRUB isn't actually built. Error checking. # This is where GRUB is expected to be (outside of the grub-assemble, instead in main checkout) diff --git a/resources/utilities/grub-assemble/grub_memdisk_keymap b/resources/utilities/grub-assemble/grub_memdisk_keymap index 98bf3e0b..2ef01131 100755 --- a/resources/utilities/grub-assemble/grub_memdisk_keymap +++ b/resources/utilities/grub-assemble/grub_memdisk_keymap @@ -19,6 +19,8 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. # +set -u -e -v + for keymap in $(ls keymap/original) do printf "/boot/grub/layouts/$keymap.gkb=keymap/$keymap.gkb " |