From 74326d055919e4ba3d44fd9a746c3bc50073009d Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Thu, 1 Dec 2022 21:11:22 +0000 Subject: [PATCH] Use US International layout --- roles/home-gui/files/gnome-setup.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 41b6eaa..363e163 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -14,7 +14,7 @@ set_favorites_bar set_keyboard_and_language () { gsettings set org.gnome.desktop.input-sources show-all-sources true - gsettings set org.gnome.desktop.input-sources sources "[('xkb', 'us'), ('xkb', 'gb'), ('xkb', 'fr+afnor')]" + gsettings set org.gnome.desktop.input-sources sources "[('xkb', 'us'), ('xkb', 'us+intl')]" gsettings set org.gnome.desktop.input-sources xkb-options "['lv3:ralt_switch', 'lv5:rctrl_switch']" gsettings set org.gnome.desktop.wm.keybindings switch-applications "['Tab']" gsettings set org.gnome.desktop.wm.keybindings switch-applications-backward "['Tab']"