diff options
-rwxr-xr-x | projects/grub/grub-helper | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/projects/grub/grub-helper b/projects/grub/grub-helper index dca9b3a5..3e1420ac 100755 --- a/projects/grub/grub-helper +++ b/projects/grub/grub-helper @@ -82,8 +82,13 @@ grub_build_utils() { grub_build_layout() { local raw_layout="${1##*/}" local raw_layout_path="$1" + local keymap_out_path="${build_path}/keymaps" local grub_mklayout="${sources_path}/grub-mklayout" - local grub_kbd_layout="${build_path}/${raw_layout}.gkb" + local grub_kbd_layout="${keymap_out_path}/${raw_layout}.gkb" + + if ! [[ -e "${keymap_out_path}" ]]; then + mkdir -p "${keymap_out_path}" + fi "${grub_mklayout}" --output="${grub_kbd_layout}" --input="${raw_layout_path}" } |