GNU/Linux >> Tutoriels Linux >  >> Ubuntu

Installez Dash pour ancrer sur Ubuntu - GNOME Shell Extension

La personnalisation des paramètres dans les distributions Linux est l'une des fonctionnalités mises en avant. Il existe des tonnes de thèmes, d'icônes, de curseurs et d'extensions pour personnaliser l'apparence du bureau. Dash to Dock en fait partie.

Dash to Dock est une extension pour l'environnement GNOME 3 qui peut être utilisée pour personnaliser divers paramètres du Dock. Il change le dock Ubuntu par défaut en un dock de style macOS, ce qui permet finalement de lancer et de changer d'application rapidement et facilement.

Comment installer Dash to Dock sur Ubuntu 20.10

Pour installer "Dash to Dock", vous avez besoin de l'outil GNOME Tweak. Si vous ne disposez pas de cet outil, obtenez-le avec la commande suivante :

$ sudo apt install gnome-tweak-tool

Si vous obtenez une erreur "Paquet introuvable", ajoutez le référentiel "universum" avec la commande suivante :

$ sudo add-apt-repository-universe

Après avoir installé avec succès l'outil GNOME Tweak, il est temps de télécharger l'extension Dash to Dock.

Pour installer Dash to Dock, ouvrez le navigateur et ouvrez l'url suivante :

https://extensions.gnome.org/extension/

Il vous demandera d'abord d'installer l'extension de navigateur, de cliquer dessus et de l'installer.

Après l'installation, vous serez invité avec "Autorisations" comme indiqué ci-dessous, cliquez sur le bouton "Ajouter".

L'extension sera installée et l'icône apparaîtra dans le coin supérieur droit de la fenêtre du navigateur, comme illustré dans la figure suivante :

Recherchez maintenant l'extension "Dash to Dock" et cliquez sur le bouton pour l'activer.

Maintenant, démarrez "GNOME Tweak Tool", allez dans l'onglet "Extensions" et activez-le.

Cliquez sur l'icône « Gears » pour ajuster les paramètres de cette extension.

Position et taille

La première option que vous verrez est "Position et taille". Il existe plusieurs paramètres comme :

  • Le positionnement du quai
  • Limitation de la taille du quai
  • Limitation de la taille des symboles
  • Masquage automatique du dock

Lanceurs

L'onglet suivant est l'onglet "Lanceur". Utilisez cet onglet pour consulter les aperçus, les espaces de travail et les moniteurs Windows. La position de l'icône « Applications » peut être déplacée vers la gauche ou la droite ou entièrement masquée. Vous pouvez également activer et désactiver la corbeille.

comportement

Dans l'onglet Comportement, vous pouvez attribuer des raccourcis clavier aux applications. Deuxièmement, vous pouvez attribuer des fonctions à "Action de clic" et "Action de défilement".

Apparence

Cette option consiste à modifier l'apparence du dock. La première option est de changer de sujet; Vous pouvez attribuer un thème par défaut ou personnaliser certaines options du dock séparément.

  • Réduire le tableau de bord :cochez cette case pour réduire l'espace entre les applications.
  • Affichage du compteur Windows :il existe différents affichages d'applications actives ou ouvertes. Par exemple, des points, des carrés, des segments, des solides, etc.
  • Couleur du trait :cette option vous permet de modifier la couleur du trait, qui est noir par défaut.
  • Opacité :ajuste l'opacité du trait
  • Coin droit forcé :les coins de la ligne sont arrondis par défaut, mais peuvent être rendus droits en activant cette option.


Ubuntu
  1. Comment restaurer les espaces de travail verticaux dans la vue d'ensemble des activités dans Ubuntu 21.10 Gnome 40

  2. Comment installer phpize dans Ubuntu ?

  3. Comment installer Zsh sur Ubuntu 20.04 ?

  4. Je ne peux pas installer Gnome Schedule sur Ubuntu 16.04 ?

  5. Impossible d'activer l'extension de thème utilisateur Gnome Shell ?

Comment installer GNOME dans Ubuntu Linux

Comment installer ZSH (Z Shell) sur Ubuntu 20.04

Installer Gnome sur Ubuntu 22.04 | 20.04 Linux LTS

Comment installer GNOME 40 sur Ubuntu 21.04

Comment installer GNOME sur Ubuntu 14.04

Comment installer Gnome sur Ubuntu 20.04 LTS