Ubuntu 18.04.1を使用しています。先日、Ubuntu SoftwareアプリからArkをインストールしましたが、うまく動作しなかったため、数分後にアンインストールしました。
最近、アイコンがまだ存在していることに気づいたので、今は削除する方法を考えています。前もって感謝します!
* .desktop-Filesが保存される標準の場所は次のとおりです。
/usr/share/applications/
および
~/.local/share/applications/
これらのフォルダに箱があるかどうかを確認するには、ターミナルで(Ctrl + Alt + t)を実行します:
ls -la /usr/share/applications/ | grep -i 'ark'
および
ls -la ~/.local/share/applications/ | grep -i 'ark'
その場合、Sudo rm <pathtofile>/<*.desktop-file>
で削除しますが、ホームフォルダー内のファイルを削除するときにSudo
は不要です。
その後、またはarc * .desktop-Fileがない場合でも、次の方法でメニューを強制的に更新します。
Sudo xdg-desktop-menu forceupdate --mode system