Comment ajouter facilement un dock à l’environnement de bureau GNOME ?
Si la première image qui vous vient à l’esprit, quand on parle de dock, est le lieu de chargement et déchargement de bateaux. Ce n’est évidemment pas de celui-ci dont il est question.
Mais bien du dock à la macOS, système d’exploitation d’Apple.
Pourquoi ajouter un dock au bureau GNOME environnement ?
C’est indéniable, GNOME se veut résolument simple et minimaliste dans sa philosophie. Certains diront tout simplement « simpliste ».
Devoir systématiquement se rendre sous les activités GNOME pour ouvrir ses applications préférées, devient pénible à la longue. D’autant plus qu’elles ne sont pas classées par ordre alphabétique et demande d’effectuer une recherche si un grand nombre ont été installées.
C’est là que Dash to Dock, extension GNOME, est toute désignée. Elle permet facilement d’épingler vos applications favorites afin de les ouvrir rapidement sans perdre de temps inutilement.
Installation et utilisation de Dash to Dock
- En premier; si Gestionnaire d’extensions n’est pas présent, de l’installer via Logiciels,
Aucune idée de comment procéder, je vous revoie au guide sur Comment installer facilement une application GNOME ?.
- En second, de lancer ledit application via les activités GNOME (touche Windows),
Un article est justement consacré au gestionnaire d’extensions GNOME : Comment ajouter les icônes corbeille, dossier personnel au bureau de GNOME ?. Il reprend les étapes à suivre pour l’ajout d’une extension.
- – Puis, effectuer une recherche si vous avez beaucoup d’applications installées, ou
– Cliquer sur Afficher les applications (icône carrée à 9 points à droite du dock),
- – Puis, effectuer une recherche si vous avez beaucoup d’applications installées, ou
Ensuite, ouvrir le gestionnaire d’extensions (pièce de puzzle bleue),
- Onglet Parcourir,
- Zone de recherche, saisir dash to dock,
- Cliquer sur le bouton Installer,
- Une alerte vous demande la confirmation (bouton Installer).
Si tout c’est bien déroulé, Dash to Dock doit normalement apparaître en bas du bureau.
- Ensuite, onglet Installées,
- Cliquer sur la roue dentée pour accéder au paramètre de l’extension,
Ce guide n’étant pas axé sur sa configuration, je ne vais pas m’attarder plus dans ses paramètres d’autant plus vu le nombre d’options disponibles. Il y a tout de même une option importante à aborder, le Masquage intelligent.
Vous pouvez selon vos préférences :
- Activer ou non le masquage automatique,
- Activer en mode plein écran,
- Pousser pour Afficher : requière une pression pour afficher le dock (écran tactile),
Afficher le dock pour les notifications urgentes.
- Activer le masquage automatique intelligent,
- Toutes les fenêtres,
- Seulement la fenêtre de l’application active,
- Seulement les fenêtres maximisées,
- Toujours par dessus.
- Activer ou non le masquage automatique,
Vous avez également la possibilité de définir le temps pour :
- Durée de l’animation,
- Délais de masquage,
- Seuil de pression (écran tactile).
Désormais, en vous rendant sous les activités GNOME, un clic droit sur le raccourci d’une application, l’option Épingler au dock a été ajoutée au menu contextuel.
À la place d’un dock, une barre des tâches, est-ce possible ?
Une barre des tâches à la Windows ou à l’environnement de bureau KDE, est-ce possible ?
Si pour vous un dock vous donne des boutons, voici deux extensions GNOME de barres des tâches.
- Bottom Dash Panel est parfaite avec son emplacement en bas à la Windows 11 et son côté minimaliste (peu configurable).
- Dash to Panel est ma recommandation avec sa personnalisation ultra poussée pour ressembler le plus possible à celle de Windows. Elle se positionne à votre convenance, en bas, en haut, sur les côtés, etc.
