大概一年前,我有一个 gnome-shell 扩展,使我能够使用快捷键在工作区之间切换,例如:
ctl + 1 = Workspace 1
ctl + 2 = Workspace 2
ctl + 3 = Workspace 3
ctl + 4 = Workspace 4
ctl + 5 = Workspace 5
ctl + 6 = Workspace 6
ctl + 7 = Workspace 7
ctl + 8 = Workspace 8
ctl + 9 = Workspace 9
但是,我必须进行全新安装,现在我似乎无法找到扩展extensions.gnome.org
。
目前还有其他人正在使用此扩展吗?如果是,您能提醒我一下它的名字吗?我描述的是父扩展的子功能吗?
谢谢。
答案1
向那些投票支持我的问题的人点赞。我很想在早茶之前解决这个问题。
在 Ubuntu 20.04 中,也许是为了避免任何可能的冲突或事故,我使用了它们的原生选项:设置//键盘快捷键,以设置、、Ctrl+1
和我的前 4 个工作区(工作区 1 有点奇怪)。然后为了设置我的其他工作区,我安装了 dconf-editor(不是 gnome-shell 扩展,因此我之前头脑混乱的问题是找不到它),我使用以下方法分配了工作区 5 到 10:(相关工作区的编号在哪里, = )Ctrl+2
Ctrl+3
Ctrl+4
['<Primary>X']
X
Primary
Ctrl
dconf-editor 是*dangerous*
一个可能会破坏某些东西的应用程序,因此工作区设置的正确路径是:[checkmark] / org / gnome / desktop / wm / keybindings / switch-to-workspace-X
答案2
就我而言,我想使用 GSettings 工具和 Ubuntu 22.04 上的 Primary + Left Alt + Numpad 键切换到工作区。
您可以复制粘贴片段来列出默认键绑定并为 9 个工作区设置快捷方式:
列表键绑定:
gsettings list-recursively org.gnome.desktop.wm.keybindings | grep switch-to-workspace
切换到工作区(1-9):
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-1 "['<Primary><Alt>KP_1']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-2 "['<Primary><Alt>KP_2']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-3 "['<Primary><Alt>KP_3']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-4 "['<Primary><Alt>KP_4']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-5 "['<Primary><Alt>KP_5']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-6 "['<Primary><Alt>KP_6']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-7 "['<Primary><Alt>KP_7']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-8 "['<Primary><Alt>KP_8']" &&
gsettings set org.gnome.desktop.wm.keybindings switch-to-workspace-9 "['<Primary><Alt>KP_9']"