Salut à toi,
Avant toute chose je t'invite à renseigner tes informations de distribution (
Voir le tuto : Trop cool d'indiquer son installation dans son profil !), cela nous aidera à connaître un peu mieux ta config et donc à mieux t'aider.
Pour les logiciels installés via
apt-get ou
synaptic, essayes dans un premier temps de relancer gnome-shell :
- tu appuies sur Alt + F2
- dans la boîte de dialogue tu tapes " r " (la lettre r oui,oui) et tu valides par Entrée => gnome-shell se relance
Si ça ne fonctionne pas, il te faut peut-être modifier le fichier
.desktop de
Dolphin. En effet, dolphin étant une application KDE il est possiblement paramétré pour ne s'afficher que dans KDE (et donc pas dans Gnome).
Le plus simple pour toi, je pense, est d'installer le paquet
menulibre:
apt-get install menulibre
Ce petit logiciel va te permettre de créer et modifier des lanceurs pour tes applications. Tu devrais y voir apparaître Dolphin que tu pourras alors configurer pour qu'il apparaisse.
Pour les applications externes, je suppose, par défaut, qu'elles s'installent dans /opt. Tu confirmes ?
Si oui, menulibre est aussi ton ami et te permettra de créer un nouveau lanceur pour Dropbox et Spotify et de lui attribuer l'icône de ton choix.
Hello IT ! Have you tried turning it off and on again ?