我已经执行了官方 dash-to-panel github 页面上给出的脚本这里。但是,此脚本中的以下命令:
gnome-extensions enable "[email protected]";
生成以下输出: 。Extension “[email protected]” does not exist
但实际上,该扩展并未安装。
这是 ubuntu 22 或 22.04 中的已知问题吗?
如果我按下绿色按钮,我会得到:
或者,如果我只是尝试在应用程序扩展管理器中搜索它,却找不到它。
答案1
扩展只有在安装后才能工作。如果您使用扩展管理器工具安装它,它应该可以正常工作。但是,在启用该扩展之前,请先禁用内置的 Ubuntu Dock 扩展。这两个扩展都希望以不同的方式操纵相同的方面,因此彼此不兼容。
我能够使用扩展管理器安装该扩展。因此原则上,它仍然可以在 Ubuntu 22.04 上运行。