如何安装 GNOME Shell 扩展?
是否可以更新、删除和管理扩展?
这是自从我升级到 Ubuntu 18.04 以来我一直在努力解决的各种 DE 问题之一。几天后,我开始感到右手腕有些疼痛。我现在意识到升级时鼠标速度降低了,因此我无法再通过一次移动将指针从屏幕的一个边缘移动到另一个边缘。我尝试在设置>鼠标和触摸板对话框中调整鼠标速度,就像我在以前的 Ubuntu 版本中所做的那样:
然而,这没有效果。指针速度似乎卡在中间,忽略对话框中显示的任何内容。
有没有其他方法可以在 Ubuntu 18.04 上更改鼠标速度?
我最近开始使用 Ubuntu 20.04,我想自定义日期和时间格式(在 Windows 中,我可以使用像 %YYYY-%MM-%day 这样的“格式化字符串”来写下它)。我指的是面板顶部的时钟。
我找到了一个 gnome shell 扩展(格式时钟),但它与 gnome-shell 版本 >= 3.14 不兼容,我有 3.36.2。我想自定义与区域和语言列表中可用选项不同的格式。我怎么能那样做?