1. 问题来源
ubuntu20.04中的gnome-shell-extensions有一个叫ubuntu-dock的单项,这个dock应该用来替代dashtodock的选项,但是这个ubuntu-dock又特别的垃圾,没有dashtodock的功能强大,所以我们就不用这个东西。
但是问题就来了,ubuntu-dock和dashtodock是存在冲突的,有这个ubuntu-dock的时候,apt就不能安装gnome-shell-extension-dashtodock。哪怕是安装上了dashtodock也是存在功能上的冲突的。
2. 解决办法
2.1 前置知识
使用apt安装应用的时候,安装后软件默认位置为:/usr/share
来源:https://blog.csdn.net/the_fool_/article/details/80514179
为啥要有这个前置的知识呢,因为ubuntu20.04默认安装的gnome,所以gnome的这些文件什么的都是在/usr/share文件夹下,所以我们的目标是将dashtodock也安装到这个目录下。
2.2 安装dashtodock
Ubuntu20.04不能使用apt安装,需要使用源码安装:
git clone https://github.com/micheleg/dash-to-dock.git
make
make install
来源:https://www.cnblogs.com/whoisthere/p/12978589.html
2.3 解决问题
按照上述安装的dashtodock很可能不在/usr/share文件夹下,注意查看dashtodock安装时的打印信息中描述的安装位置,如下图:
然后就把这个extensions下 的内容复制到/usr/share/gnome-shell/extensions下,注意这个文件夹是可以一一对应的。可以通过使用复制指令cp -r src_dir dst_dir实现复制操作,注意指令用了之后,文件夹是否对应上哦,否则也不行的。
输入sudo apt remove gnome-shell-extension-ubuntu-dock删除自带的dock。避免发生冲突。
使用alt + F2,输入r重启gnome。然后就可以在tweak下的extensions下看到dashtodock选项,点击选项中的齿轮按钮进行相关设置。