summaryrefslogtreecommitdiffstats
path: root/resources
diff options
context:
space:
mode:
Diffstat (limited to 'resources')
-rwxr-xr-xresources/utilities/grub-assemble/gen.sh2
-rwxr-xr-xresources/utilities/grub-assemble/grub_memdisk_keymap2
2 files changed, 4 insertions, 0 deletions
diff --git a/resources/utilities/grub-assemble/gen.sh b/resources/utilities/grub-assemble/gen.sh
index 880fa66..fb1896b 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 98bf3e0..2ef0113 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 "