我今天早上从 19.04 更新到 19.10。我发现的第一个问题是我的几个 Gnome 扩展由于活动热点问题而停止工作。主要问题是 Dash-to-Dock 不再有效,并且重新安装会导致错误。其他几个扩展会导致与活动热点冲突有关的警告。我曾尝试关闭 Gnome-Tweaks 中的热点,但单击打开或关闭开关没有任何区别。我还尝试安装“无热角”扩展,但这也导致了错误。
我想像使用早期版本一样继续使用 Ubuntu 19.10,当我将鼠标移到那里时,屏幕底部会出现一个 Dash-to-Dock。有谁知道我怎么能做到这一点?
确保您安装了正确版本的 Dash to Dock,即 Gnome Shell 3.34 的版本,它是 Ubuntu 19.10 中使用的版本。
然后,您可以使用 Dash to Dock 的配置对话框配置扩展坞。最终,您可以随后删除 Dash to Dock 并启用 Ubuntu Dock 扩展:基于 Dash to Dock 的 Ubuntu Dock 扩展使用相同的设置并且行为相同。
Dash to Dock 中提供的大量选项也可用于 Ubuntu Dock。只是,Ubuntu Dock 不会向用户公开这些选项。因此,或者,您可以直接使用
dconf-editor
(默认未安装)配置 Ubuntu Dock,这种方法无需安装额外的扩展。Dash to dock 确实有效,但您需要 19.10 的正确版本。这就是说,许多用户发现面板扩展的破折号要好得多。这是链接上的第二条评论:
码头随着指示器移动到顶部,而不是您正在寻找的底部。
当我从 19.04 升级到 19.10 并带有两个扩展(dash to dock 和 dash to panel)时,我也遇到了同样的情况。
打开浏览器并转到已安装的应用程序选项卡。如果您没有,请为您的浏览器安装 gnome 扩展程序。
您会看到两个扩展都标有错误标志。使用带箭头的绿色按钮更新两个扩展。更新后,您会看到错误标志存在。
按 Alt-F2,然后按“r”(不带引号)。Gnome 将重新加载界面和扩展。重新加载后它应该可以工作。它对我有用。