diff --git a/Scripts/fix-gnome-workspace-keys.sh b/Scripts/fix-gnome-workspace-keys.sh new file mode 100755 index 0000000..5c39658 --- /dev/null +++ b/Scripts/fix-gnome-workspace-keys.sh @@ -0,0 +1,8 @@ +#!/bin/bash + +for i in {1..9} +do + gsettings set org.gnome.shell.keybindings switch-to-application-$i "['']" + gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-$i "['$i']" + gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-$i "['$i']" +done