From 852d7c237442db57fa245ecdd0fefdbf8ce48a91 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@diginaut.net>
Date: Tue, 15 Jan 2019 15:30:31 +0100
Subject: [PATCH] Setup some Gnome hotkeys

---
 bin/setup/gnome-set-workspace-switchers.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 bin/setup/gnome-set-workspace-switchers.sh

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