| 17 Jul 2024 |
 FreeVariable | Is there a way to peramently disable "Key sequence to kill X server"? | 16:55:05 |
| FreeVariable | 
Download Capture d’écran du 2024-07-17 18-53-42.png | 16:55:05 |
| FreeVariable | * Is there a way to permanently disable "Key sequence to kill X server"? | 16:55:17 |
| FreeVariable | In reply to@jtojnar:matrix.org
I guess you could set /org/gnome/desktop/input-sources/xkb-options to an empty array with dconf module as a workaround This key already is set to an empty array | 16:57:49 |
| FreeVariable | * This key already is set to an empty array, probably as per my unticking the checkbox. The issue is that it ticks itself back from time to time when rebuilding. | 16:58:47 |
 balacij | In reply to @setunset:matrix.org
This key already is set to an empty array In your home-manager configuration, add:
dconf.settings = {
"org/gnome/desktop/input-sources" = {
"xkb-options" = lib.gvariant.mkEmptyArray lib.gvariant.type.string;
};
};
| 22:00:49 |
| balacij | Setting it in my main configuration.nix didn't work for some reason. However, home-manager's configuration works.
| 22:02:42 |
| 18 Jul 2024 |
 Jan Tojnar | it should work in NixOS too (the syntax will be different though). IIRC, gnome-settings-daemon takes the value from X config (in which NixOS module adds kill X server shortcut) when the config value is not present in the dconf database but there might be a bug where it also re-sets it if it exists but is merely empty | 07:20:12 |
| Jan Tojnar | Looking at the source, it indeed does not distinguish between being unset (and thus defaulting to empty string), and being set to an empty string: https://gitlab.gnome.org/GNOME/gnome-settings-daemon/-/blob/a41725fd553df8ffa14117a8371e769ed16160ee/plugins/keyboard/gsd-keyboard-manager.c#L419-420 | 07:24:56 |
| Jan Tojnar | FreeVariable: opened https://gitlab.gnome.org/GNOME/gnome-settings-daemon/-/merge_requests/373, feel free to test | 07:59:53 |
|  @thisisliam:one.ems.host changed their profile picture. | 10:54:22 |
| @thisisliam:one.ems.host changed their profile picture. | 10:54:38 |
