下列的
如何在基于 Ubuntu 或 Debian 的系统上创建桌面图标
我创建
[Desktop Entry]
Version=1.0
Name=Isabelle
Comment=The Isabelle Theorem Prover
Exec="/home/user/Isabelle2022/bin/isabelle jedit %U"
Icon=/home/user/Isabelle2022/lib/logo/isabelle_transparent-128.png
Terminal=false
StartupWMClass=Isabelle
Type=Application
Categories="Theorem prover"
MimeType=text/thy
在~/.local/share/applications/isabelle.desktop
。
但即使在注销后,该图标也没有出现在我的桌面上。
我应该如何解决这个问题?