Attachment 593319 Details for Bug 826024 – script to tweak workspaces and hotkeys

script to tweak workspaces and hotkeys

gnome-shell-workspaces.sh (text/plain), 1.09 KB, created by Jeff Bastian on 2012-06-20 22:40:15 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Jeff Bastian

Created: 2012-06-20 22:40:15 UTC

Size: 1.09 KB

patch

obsolete

>#!/bin/sh
>
># Disable dynamic workspaces and set 12 fixed workspaces, and set the
># hot-keys for switching and moving windows to the workspaces.
>#
># The Gnome 3.4 Shell keyboard settings GUI only exposes hot-key configuration
># for workspaces 1-4 so you have to use the command line for spaces 5+.
>#
># Jeff Bastian <jbastian@redhat.com>, 2012-06-20
>
>echo "Disabling dynamic workspaces"
>gsettings set org.gnome.shell.overrides dynamic-workspaces false
>
>echo "Setting 12 fixed workspaces"
>gsettings set org.gnome.desktop.wm.preferences num-workspaces 12
>
>for ((x=1 ; x <= 12 ; x++)) ; do
>	echo "Setting hotkeys for workspace $x"
>	gsettings set org.gnome.desktop.wm.keybindings \
>		switch-to-workspace-$x "[\"<Control>F$x\"]"
>	gsettings set org.gnome.desktop.wm.keybindings \
>		move-to-workspace-$x "[\"<Control><Shift>F$x\"]"
>done
>
>echo "Done"
>echo "~~~~"
>echo "Verify Settings:"
>gsettings list-recursively org.gnome.shell.overrides | grep dynamic-workspaces
>gsettings list-recursively org.gnome.desktop.wm.preferences | grep num-workspaces
>gsettings list-recursively org.gnome.desktop.wm.keybindings | grep to-workspace

Actions: View

Attachments on bug 826024: 593319