update gnome settings

2024-03-14 12:31:38 +01:00 · 2024-03-14 12:31:38 +01:00 · feb9417535
commit feb9417535
parent ca5ea4d376
1 changed files with 3 additions and 3 deletions
--- a/run_once_4_configure_gnome.sh.tmpl
+++ b/run_once_4_configure_gnome.sh.tmpl
@ -34,9 +34,9 @@ translate=true

 [desktop/input-sources]
 current=uint32 0
-mru-sources=[('xkb', 'us')]
-sources=[('xkb', 'ch+fr')]
-xkb-options=@as []
+mru-sources=[('xkb', 'us'), ('xkb', 'ch+fr')]
+sources=[('xkb', 'us'), ('xkb', 'ch+fr')]
+xkb-options=['compose:ralt']

 [desktop/interface]
 color-scheme='prefer-dark'