小编JPa*_*ida的帖子

Ubuntu 20.04 不更新 Dock 上的图标

我刚从 18.04 升级到 20.04,我的 Dock 图标有问题。问题是扩展坞没有自行更新。

  • 如果我打开一个应用程序,它不会显示。
  • 如果我关闭一个应用程序,它不会消失
  • 如果我从一个虚拟桌面更改为另一个(自 16.04 以来我有独立的虚拟桌面),我将继续看到前一个的图标(显示桌面上打开了多少窗口的小点确实会更新)。

更新 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

(我想为错别字道歉,英语不是我的母语,我很着急,刚才我看了它并注意到了它们)

themes icons ubuntu-dock 20.04

7
推荐指数
1
解决办法
2110
查看次数

帮助清理 var/lib/docker

我在 ubuntu 18.04 上用 docker 搞砸了,现在我的磁盘上几乎没有空间了。

  • 我试图将 var/lib/docker 移动到 /home 并执行符号链接以使用一些重图像(nvidia tlt 和 nvidia 数字),因为我在另一个分区上有 /home。
  • 当事情不起作用时,我删除了链接并将文件夹移回了它所属的位置。
  • 在我看来,当我测试它是否有效时,就在将文件夹移回之前,ubuntu 创建了该文件夹,当我进行移动时,事情奇怪地合并了。

现在的问题是如何让事情恢复正常(希望不要重新安装 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

docker 18.04

5
推荐指数
2
解决办法
1086
查看次数

标签 统计

18.04 ×1

20.04 ×1

docker ×1

icons ×1

themes ×1

ubuntu-dock ×1