From 6c69e444b925c3588ae0466695b710c148affd35 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Wed, 16 Nov 2022 22:08:56 +0000 Subject: [PATCH] Fix incorrect whitespace --- 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 e69c668..4b12934 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', 'us+intl'), ('xkb', 'gb')]" + gsettings set org.gnome.desktop.input-sources sources "[('xkb', 'us'), ('xkb', 'us+intl'), ('xkb', 'gb')]" gsettings set org.gnome.desktop.input-sources xkb-options "['lv3:ralt_switch']" gsettings set org.gnome.desktop.wm.keybindings switch-applications "['Tab']" gsettings set org.gnome.desktop.wm.keybindings switch-applications-backward "['Tab']"