Comment ajouter un raccourci (.desktop) au Dock Ubuntu 18.10

Jusqu'à Ubuntu 18.04, Unity nous a permis ajouter des raccourcis ou .desktop sur votre Dock. Personnellement, j'aime beaucoup plus le design de la nouvelle version, mais l'ajout d'un raccourci vers le Dock me manque simplement en le faisant glisser et en le déposant dessus. Dans Ubuntu 18.10, il est également possible d'ajouter des raccourcis vers le Dock, mais nous devrons le faire d'une autre manière qui nécessite plus d'étapes. Mais pas de panique car c'est en fait très simple.

Jusqu'à présent, il suffisait de créer un fichier .desktop et de le faire glisser vers le Dock. Ce qui n'a pas changé, c'est que nous devrons d'abord créer le fichier .dekstop. Ce qui a changé, c'est que maintenant nous devrons laissez-le sur un itinéraire spécifique et accédez-y comme s'il s'agissait d'une autre application. Après le saut, nous vous expliquons comment créer ces fichiers .desktop et où nous devons les laisser afin que nous puissions les ajouter plus tard en tant que favoris à notre Dock.

Comment créer un raccourci ou un fichier .desktop

1. Il sera seulement nécessaire de copier ce qui suit dans notre éditeur de texte et de modifier ce qui est nécessaire à partir de l'exemple que nous avons ci-dessous:

[Entrée de bureau]
Type = application
Terminal = faux
Nom = Xkill
Icône = / home / pablinux / Pictures / death.png
Exec = xkill
GenericName [es_ES] = Tuer l'application

2. De ce qui précède, nous devons modifier:

• Nom: le nom à afficher.
• Icône: l'image que nous verrons. Le mieux est d'utiliser une icône, pour ce que je recherche sur internet pour ce qui m'intéresse + PNG pour qu'il n'ait pas de fond. Pour être vu, il est important que les majuscules et les minuscules soient les mêmes que le chemin où se trouve l'image. J'ai "death.png" dans mon dossier "Pictures" et mon utilisateur Linux est généralement Pablinux.
• Exec: ici nous ajouterons la commande (ou le fichier indiquant son chemin) que nous voulons exécuter. Dans l'exemple que j'ai xkill cela m'aidera à tuer un programme qui ne répond pas comme il se doit.
• Nom générique: ici nous ajoutons une description de ce que nous allons faire lors de l'exécution du raccourci. Je le fais depuis longtemps et je me souviens que dans certains systèmes, le texte apparaît lorsque je place le curseur dessus.

3. Nous enregistrerons le fichier avec l'extension .desktop afin qu'il puisse fonctionner.
4. Une fois enregistré, nous ferons un clic droit dessus et lui donnerons la permission de s'exécuter en tant que programme. Vous verrez comment l'image que nous avons configurée précédemment est affichée.

5. Le raccourci est prêt à être utilisé, mais peu importe combien nous le faisons glisser vers le dock, il ne reste pas. Ce que nous devons faire est de le mettre dans le dossier .local / partage / applications qui se trouve dans le dossier personnel de notre utilisateur. Si nous ne le voyons pas, nous appuyons sur Ctrl + H pour afficher les fichiers cachés.

6. Et nous l'avons presque. Il reste à cliquer à droite du Dock pour voir toutes nos applications et, à partir de là, les ajouter aux favoris. Dans la capture d'écran, vous voyez "supprimer des favoris", mais parce que je l'ai déjà ajouté. Et cela ressemblerait à ceci:

Nous pouvons également créer des accès pour exécuter des fichiers

Dans les carrés rouges, nous avons les deux accès que j'ai actuellement. Le second est pour convertir des images en JPG et changez la taille en 830 pixels de large, qui est le format et la taille qui fonctionnent le mieux ici dans Ubunlog. Pour ce deuxième accès, peu importe ce qu'il ajoute à la ligne Exec Je n'ai pas attrapé les deux commandes, j'ai donc créé un raccourci qui exécuterait un fichier simple contenant les deux commandes. Au cas où vous seriez intéressé, ce fichier texte n'a besoin que de nous pour lui accorder des autorisations pour s'exécuter en tant que programme et il contient le texte suivant:

cd / home / pablinux / Desktop
pour fichier en * .png; convertissez le fichier $ -resize 830 $ fichier; convertir $ fichier $ file.jpg; Fini

La signification de la deuxième ligne est expliquée dans ce lien: avec ImageMagick installé (il vient par défaut dans Ubuntu), cela signifie «pour les fichiers qui se trouvent dans le dossier et sont PNG, redimensionner à 830 pixels de large et convertir le fichier en JPG«. C'est quelque chose que j'utilise plusieurs fois par jour, il vaut donc la peine d'enregistrer votre raccourci dans le Dock.

Quels raccourcis avez-vous ou allez-vous ajouter à votre Dock?