diff --git a/bin/setup/gnome-set-workspace-switchers.sh b/bin/setup/gnome-set-workspace-switchers.sh new file mode 100755 index 0000000..95a2748 --- /dev/null +++ b/bin/setup/gnome-set-workspace-switchers.sh @@ -0,0 +1,15 @@ +#!/bin/bash + +#gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['Home', '1']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['F1']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-2 "['F2']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-3 "['F3']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['F4']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['F5']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-6 "['F6']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-7 "['F7']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-8 "['F8']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-9 "['F9']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-10 "['F10']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-11 "['F11']" +gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-12 "['F12']"