web-dev-qa-db-fra.com

Éditez manuellement les fichiers .desktop dans le dock sous Ubuntu 17.10

J'ai une question assez simple: je n'ai trouvé aucune solution appropriée en cherchant ici ou ailleurs.

Je suis récemment passé à 17.10 une fois de plus, car 17.04 ne semble plus supporté.

Je voulais éditer manuellement les entrées de mon dock et espérais trouver une liste dans ~/.local/share/applications.

La liste ne correspond pas à mes favoris actuels, ce qui signifie que (je suppose), elle est située ailleurs.

Le répertoire usr/share/application contient une vaste liste d'entrées .desktop qui, une fois encore, ne correspondent pas à celles de mon dock.

Je dois modifier l'un de ces favoris pour ajouter un paramètre de ligne de commande à l'entrée Exec.

Donc, simplement: où se trouve l’emplacement de mes fichiers préférés de dock .desktop?

17.10gnome-shell.desktopubuntu-dockdock
4
Mena

Ouvrir le terminal et courir

gsettings get org.gnome.Shell favorite-apps

La liste des fichiers .desktop associés aux applications ajoutées au dock devrait s'afficher dans le bon ordre.

Recherchez ensuite le fichier .desktop que vous souhaitez modifier dans /usr/share/applications/ ou dans ~/.local/share/applications/.

3
pomsky

Vos favoris ne sont que des "raccourcis" pointant vers des fichiers . Desktop dans /usr/share/applications/ ou dans ~/.local/share/applications/.

Si vous souhaitez ajouter un paramètre (ou le modifier autrement) à un fichier desktop, localisez-le dans les deux répertoires applications/:

  • si le fichier ne se trouve que dans /usr/share/applications/, copiez-le dans ~/.local/share/applications/ et éditez la copie comme vous le souhaitez (vous pouvez éditer directement sans copier, mais préférez effectuer les modifications uniquement dans votre répertoire personnel);
  • si le fichier se trouve dans ~/.local/share/applications/, vous pouvez le modifier directement, mais si vous souhaitez conserver une version inchangée, effectuez une copie dans le même répertoire avant de le modifier.

Si vous avez modifié une copie, vous devez supprimer votre favori actuel et rajouter celui que vous avez modifié (puisque vous avez fait une copie, vous aurez deux fichiers desktop dans votre liste d'applications).

2
N. Cornet