diff options
author | Ekaitz Zarraga <ekaitz@elenq.tech> | 2020-06-30 12:27:45 +0200 |
---|---|---|
committer | Ekaitz Zarraga <ekaitz@elenq.tech> | 2020-06-30 12:27:45 +0200 |
commit | 8660d277b33d87fb443aa9cea1ba708edb508b29 (patch) | |
tree | 9ff6c96de3bd1b5883878fef3cc603dde656e1eb /config.scm | |
parent | 26f964b8315a680878bc62bb67f9bd4645287fa3 (diff) |
Use deadkeys
Diffstat (limited to 'config.scm')
-rw-r--r-- | config.scm | 14 |
1 files changed, 12 insertions, 2 deletions
@@ -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 |