the standard places where *.desktop-Files are stored are:
/usr/share/applications/
and
~/.local/share/applications/
To check if there is an ark in these folders I'd in a Terminal (Ctrl+Alt+t) do a:
ls -la /usr/share/applications/ | grep -i 'ark'
and
ls -la ~/.local/share/applications/ | grep -i 'ark'
if so I'd delete it with sudo rm <pathtofile>/<*.desktop-file>
, sudo
is not necessary when deleting the file in your home folder.
Afterwards, or even if there is no arc*.desktop-File I'd do a forced update to my menu via:
sudo xdg-desktop-menu forceupdate --mode system
ls -la /usr/share/applications/ | grep -i 'ark'
andls -la ~/.local/share/applications/ | grep -i 'ark'
nothing happens. Is there something I'm doing wrong? – Lucy C Dec 02 '18 at 18:03sudo xdg-desktop-menu forceupdate --mode system
should do the trick – d1bro Dec 03 '18 at 00:33sudo xdg-desktop-menu forceupdate --mode system
? – Lucy C Dec 03 '18 at 03:10/usr/local/share/applications
. – Krisztián Balla Jan 01 '21 at 21:32