From 9caf4fb4c2aa67c664df73cd45ddd7c0b65e251a Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Sun, 21 Mar 2021 17:40:50 +0000 Subject: [PATCH] Add Ctrl-Alt-T to launch GNOME Terminal --- roles/home-gui/files/gnome-setup.sh | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/roles/home-gui/files/gnome-setup.sh b/roles/home-gui/files/gnome-setup.sh index 391c369..088ae5e 100644 --- a/roles/home-gui/files/gnome-setup.sh +++ b/roles/home-gui/files/gnome-setup.sh @@ -52,6 +52,13 @@ set_gnome_terminal_preferences () { } set_gnome_terminal_preferences +set_custom_keyboard_shortcuts () { + gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ name 'Launch Terminal' + gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ command 'gnome-terminal' + gsettings set org.gnome.settings-daemon.plugins.media-keys.custom-keybinding:/org/gnome/settings-daemon/plugins/media-keys/custom-keybindings/custom0/ binding 't' +} +set_custom_keyboard_shortcuts + set_misc_preferences () { # Disable alert sounds. gsettings set org.gnome.desktop.sound event-sounds false