Suppression d'un raccourci obsolète

[Anaximandre]

Bonsoir à tous.

Dans le menu Démarrer, je conserve sous la rubrique "Autre", le raccourci obsolète d'une ancienne playing list de webradio désinstallée.
Sans connaître le dossier de son installation, je ne trouve pas jusqu'ici le moyen de désinstaller ce raccourci .
Merci de m'indiquer son dossier : il me sera alors très simple de le supprimer manuellement.

[serged]

Clic-droit sur le menu "Démarrer" / "Configurer" et quelque part trouver le bouton "Éditeur de menu". Là tu peux éditer le menu...

Ou alors lancer directement cinnamon-menu-editor (si t'es sous Cinnalmon)...

[cyrille]

Sinon tu peux aussi installer le paquet menulibre qui est un éditeur de menu quelque soit l'environnement X et qui est très simple d'utilisation

Code : Tout sélectionner

$ apt show menulibre 
Package: menulibre
Version: 2.2.2-1
Priority: optional
Section: admin
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Installed-Size: 1 622 kB
Depends: gir1.2-gdkpixbuf-2.0, gir1.2-glib-2.0, gir1.2-gmenu-3.0 (>= 3.5.3), gir1.2-gtk-3.0, gnome-menus (>= 3.5.3), python3-gi (>= 3.0), python3-psutil, xdg-utils, python3:any
Homepage: https://github.com/bluesabre/menulibre
Download-Size: 171 kB
APT-Manual-Installed: yes
APT-Sources: http://deb.debian.org/debian sid/main amd64 Packages
Description: advanced FreeDesktop.org compliant menu editor
 An advanced menu editor that provides modern features in a clean, easy-to-use
 interface. All without GNOME dependencies, so even lightweight systems can
 benefit from the sanity that MenuLibre offers. MenuLibre is your one-stop shop
 for menus in Linux, whether you use GNOME, LXDE, Xfce, or Unity.

sinon les lanceurs sont dans

Code : Tout sélectionner

/usr/share/applications/

Il s'agit de fichier .desktop
c'est l'entrée Categories et le mot clef qui positionne dans le menu (Audio dans Multimedia, system dans système...)

[Anaximandre]

Bonjour à Serged et Cyrille.

...Au plus rapide et, surtout, au plus simple. J'assume mon statut de péquenaud Linux au savoir-faire disons... limité : la première fois que j'édite le menu Démarrer en deux ans d'utilisation Mint !

Clic-droit sur le menu "Démarrer" / "Configurer" et quelque part trouver le bouton "Éditeur de menu". Là tu peux éditer le menu...

Et hop, le raccourci rebelle tombe aux oubliettes !

Merci à vous deux et bonne journée.

[alain]

Bonjour.

Sujet archivé (en lecture seule) car résolu.
Si besoin de rouvrir faire un MP à un membre de l'équipe