#!/bin/bash

#gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Super>Home', '<Super>1']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Super>F1']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-2 "['<Super>F2']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-3 "['<Super>F3']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['<Super>F4']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['<Super>F5']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-6 "['<Super>F6']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-7 "['<Super>F7']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-8 "['<Super>F8']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-9 "['<Super>F9']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-10 "['<Super>F10']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-11 "['<Super>F11']"
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-12 "['<Super>F12']"