Gnome

Installation de Dash to Dock sur Ubuntu - Extension Shell GNOME

Installation de Dash to Dock sur Ubuntu - Extension Shell GNOME
La personnalisation des paramètres dans les distributions Linux est l'une des fonctionnalités mises en évidence. 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 permet de régler divers paramètres liés au dock. Il modifie le dock Ubuntu par défaut en dock de style macOS qui aide finalement à lancer et à changer d'application rapidement et facilement.

Comment installer Dash to Dock sur Ubuntu 20.dix

Pour installer "Dash to Dock", vous devez disposer de l'outil GNOME Tweak. Si vous ne disposez pas de cet outil, récupérez-le en utilisant la commande suivante :

$ sudo apt install gnome-tweak-tool

Si vous obtenez l'erreur « Paquet non trouvé », ajoutez le référentiel « univers » avec la commande ci-dessous :

$ sudo add-apt-repository univers

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, cliquez dessus et installez-la.

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

L'extension sera installée et l'icône apparaîtra en haut à droite de la fenêtre du navigateur, comme illustré dans l'image suivante :

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

Et maintenant, lancez le "GNOME Tweak Tool", allez dans l'onglet "Extensions" et activez-le.

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

Position et taille

La première option que vous allez voir est "Position et taille". Il y a plusieurs paramètres comme :

Lanceurs

L'onglet suivant est l'onglet "Lanceurs". Dans cet onglet, vous pouvez vérifier les aperçus des fenêtres, les espaces de travail et les moniteurs. La position de l'icône "Applications" peut être déplacée vers la gauche ou la droite selon votre convenance, ou elle peut complètement disparaître. Vous pouvez également activer et désactiver la corbeille.

Comportement

Dans l'onglet comportement, vous pouvez attribuer des touches de raccourci aux applications. Deuxièmement, vous pouvez attribuer des fonctions sur "Click Action" et "Scroll Action".

Apparence

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

Ajoutez des gestes de souris à Windows 10 à l'aide de ces outils gratuits
Ces dernières années, les ordinateurs et les systèmes d'exploitation ont considérablement évolué. Il fut un temps où les utilisateurs devaient utilise...
Contrôlez et gérez le mouvement de la souris entre plusieurs moniteurs dans Windows 10
Gestionnaire de souris à double affichage vous permet de contrôler et de configurer le mouvement de la souris entre plusieurs moniteurs, en ralentissa...
WinMouse vous permet de personnaliser et d'améliorer le mouvement du pointeur de la souris sur un PC Windows
Si vous souhaitez améliorer les fonctions par défaut de votre pointeur de souris, utilisez un logiciel gratuit WinMouse. Il ajoute plus de fonctionnal...