From 8660d277b33d87fb443aa9cea1ba708edb508b29 Mon Sep 17 00:00:00 2001 From: Ekaitz Zarraga Date: Tue, 30 Jun 2020 12:27:45 +0200 Subject: Use deadkeys --- config.scm | 14 ++++++++++++-- 1 file changed, 12 insertions(+), 2 deletions(-) diff --git a/config.scm b/config.scm index fee3ecf..14bb0ff 100644 --- a/config.scm +++ b/config.scm @@ -15,12 +15,22 @@ (locale "en_US.utf8") (timezone "Europe/Madrid") (keyboard-layout - (keyboard-layout "es" "nodeadkeys")) + (keyboard-layout "es")) (bootloader (bootloader-configuration (bootloader grub-efi-bootloader) (target "/boot/efi") - (keyboard-layout keyboard-layout))) + (keyboard-layout keyboard-layout) + + ; Doesn't work (YET) + #;(menu-entries + (cons (menu-entry + (label "Ubuntu - Tuxedo OS") + (device "primary") + (linux "/vmlinuz") + (initrd "/initrd")) + '())))) + (swap-devices (list "/dev/sda3")) (file-systems (cons* (file-system -- cgit v1.2.3