我刚从 18.04 升级到 20.04,我的 Dock 图标有问题。问题是扩展坞没有自行更新。
更新 Dock 的唯一方法是更改 Tweaks 上的图标主题外观,但每次打开或关闭应用程序或每次从一个虚拟桌面更改为另一个时,我都必须更改它。
在其他一些帖子中,他们说将主题设置为默认值时问题解决了,但没有任何主题适合我。
会是什么呢?我怎么能修好呢?
谢谢!
这是问题的视频。
请注意,我很久以前就激活了隔离工作区设置,gsettings set org.gnome.shell.extensions.dash-to-dock isolate-workspaces true
请注意,每当我在调整时更改图标主题时,dock 都会更新图标。在 0:54 的某个时间点,dock 会自行更新,但这种情况偶尔会发生,并不总是应该发生。
https://drive.google.com/file/d/1DHJlnF-W_J6PRp6SZNl8AxNd1EbmTRFz/view?usp=sharing
(我想为错别字道歉,英语不是我的母语,我很着急,刚才我看了它并注意到了它们)
我在 ubuntu 18.04 上用 docker 搞砸了,现在我的磁盘上几乎没有空间了。
现在的问题是如何让事情恢复正常(希望不要重新安装 ubuntu)。我希望有一些多余的文件可以删除。
我有一些其他图像不再显示sudo docker images,但我也没有删除。一些容器也是如此
当我执行时,sudo tree var/lib/docker > tree.txt我得到这个输出(这是 26.7 MB,大得离谱,不是吗?)
刚刚检查过,这个文件夹的大小是 24GB。tlt 图像是 7,我假设容器可能是相同的,仍然有将近 10 GB(根磁盘的 25%)的可挽救空间。
任何帮助都会非常感激。谢谢。
这是@Giorgos Saridakis 回答之后的树,现在它的大小是 20.2 MB