diff options
| author | Raúl Benencia <id@rbenencia.name> | 2023-11-25 08:04:34 -0800 |
|---|---|---|
| committer | Raúl Benencia <id@rbenencia.name> | 2023-11-25 08:05:27 -0800 |
| commit | eaf069f2a0ade65cdb6e3e848e4d54aa9419ff32 (patch) | |
| tree | 55d1ead086cde203779c168d50d82c5f9492e2d3 | |
| parent | 7ac8d682c9496bbac9350b1fca2673f15a70a279 (diff) | |
gnome: set workspace config
| -rwxr-xr-x | bin/gnome-set-config (renamed from bin/gnome3-keybindings) | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/bin/gnome3-keybindings b/bin/gnome-set-config index 282fc0c..5bfb476 100755 --- a/bin/gnome3-keybindings +++ b/bin/gnome-set-config @@ -1,6 +1,11 @@ #!/bin/sh -for i in $(seq 1 9); do +NUM_WORKSPACES=9 + +gsettings set org.gnome.mutter dynamic-workspaces false +gsettings set org.gnome.desktop.wm.preferences num-workspaces $NUM_WORKSPACES + +for i in $(seq 1 $NUM_WORKSPACES); do gsettings set org.gnome.shell.keybindings switch-to-application-$i '[]' gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-$i "['<Super>$i']" gsettings set org.gnome.desktop.wm.keybindings move-to-workspace-$i "['<Shift><Super>$i']" |