我一直在使用 gnome 和 Ubuntu 18.04 的工作区，我想更改切换工作区的快捷方式。我看到 dconf-editor 在 org > gnome > desk > wm > keybindings 中有一个选项可以执行此操作，默认是
Control++Alt键Arrow。
由于某种原因，这只Alt适用于左 Alt 键，而不适用于右 Alt 键。我想将其切换为右 Alt 键，因为这样我可能只用一只手。有人尝试过做同样的事情吗？我很感激任何想法。
最后一件事，当我xev在终端中运行时，右 Alt 显示为ISO_LEVEL3_SHIFT，所以我猜测 Ubuntu 中某些键的名称是非标准的。
谢谢你！
答案1
这篇文章提供了一些解决该问题的选项：
https://bbs.archlinux.org/viewtopic.php?pid=1936999#p1936999
最简单的选择似乎是转到Gnome Settings => Keyboard Shortcuts => Alternate Characters Key并选择除右 Alt 之外的其他键。然后右 Alt 键将再次开始用于更改工作区快捷方式。