ant/workstation
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Setting keyboard shortcuts doesn't work

Browse source
This commit is contained in:
Anthony Rose 2021-05-02 19:41:51 +01:00
parent 997000262d
commit 29e700fc51
1 changed files with 0 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
roles/home-gui/files/gnome-setup.sh
View file

@ -44,13 +44,6 @@ set_gnome_terminal_preferences () {
} }
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 '<Primary><Alt>t'
}
set_custom_keyboard_shortcuts
set_misc_preferences () { set_misc_preferences () {
# Disable alert sounds. # Disable alert sounds.
gsettings set org.gnome.desktop.sound event-sounds false gsettings set org.gnome.desktop.sound event-sounds false