Barre de tâches à gauche du bureau gnome

Herve33 · 18-01-2019 11:29:30

Bonjour,
est-il possible de diminuer la grosseur de la barre de tâche à gauche du bureau et de la faire apparaître comme pour ubuntu (masquage automatique) en mettant la souris sur tout le côté gauche ?
Merci

lagrenouille · 18-01-2019 13:18:58

ça fait bien longtemps que j'ai pas utilisé gnome, mais dans mes souvenir, tu as toutes les préférences dans une fenêtre configurer les paramétrage générale..
clique droit sur la barre des taches doit sûrement y avoir des choses

Dernière modification par lagrenouille (18-01-2019 13:19:22)

--gilles-- · 18-01-2019 13:33:50

Bonjour, tu ouvres Logiciels qui est l'autre nom de

gnome-software

Une fois Logiciels ouvert, tu tapes

extensions dash

dans la barre de recherche, tu trouveras plein d'extensions à installer pour modifier, supprimer, transformer la barre d'activités de gauche ( dash ). Je pense que l'extension Dash to dock est celle qui correspond à tes vœux, elle transforme la barre d'activités en dock paramétrable et masquable d'après les commentaires des utilisateurs.

Herve33 · 18-01-2019 13:33:51

Non, du moins j'ai pas trouvé.

Nsyo · 18-01-2019 13:57:00

Salut !

Bien sûr. Il faut installer l'extension Dash to Dock, qui est installée par défaut sur Ubuntu.

De tête, tu peux installer toute une flopée d'extensions depuis https://extensions.gnome.org/. Il faut installer l'extension firefox/chrome que te propose le site. Ensuite tu peux installer l'extension Dash to Dock. Tu peux paramétrer l'extension dans la configuration de Gnome pour placer le dock sur la gauche en prenant tout l'espace et le masquer automatiquement.

Ce n'est peut-être pas très clair...

Adrien Linuxtricks a fait une vidéo claire sur le sujet : https://www.youtube.com/watch?v=Col4yLTfUCk
Une autre vidéo de Adrien Linuxtricks sur la méthode de --gilles-- : https://www.youtube.com/watch?v=4JzMDlZc74c

Dernière modification par Nsyo (18-01-2019 14:11:00)

Herve33 · 18-01-2019 14:11:10

Ok j'essaye et je vous tient au courant les amis

Herve33 · 18-01-2019 15:51:43

J'ai réussi avec Dash to Dock, merci les amis

Nsyo · 18-01-2019 16:01:28

Parfait !

Allain · 04-02-2019 16:48:23

La barre des tâches ou Panel ou Top Bar reste en haut ou en bas de l'ecran suivant le Desktop Environment
Le bon terme, ca aide a comprendre ta question

Dernière modification par Allain (04-02-2019 16:49:46)

--gilles-- · 04-02-2019 17:30:29

Herve33 ne voulait plus de la barre d'activités qui se trouve à gauche de l'écran quand on appuie sur la touche "Windows" et voulait un dock.

Hiq5

Allain · 08-02-2019 12:02:51

Herve, la taille du dock d'origine de Gnome 3 diminue avec le nombre de raccourcis/favoris que tu y mets
C'est vrai que ce dock est enorme au premier demarrage de Gnome

Debian-facile

#1 18-01-2019 11:29:30

Barre de tâches à gauche du bureau gnome

#2 18-01-2019 13:18:58

Re : Barre de tâches à gauche du bureau gnome

#3 18-01-2019 13:33:50

Re : Barre de tâches à gauche du bureau gnome

#4 18-01-2019 13:33:51

Re : Barre de tâches à gauche du bureau gnome

#5 18-01-2019 13:57:00

Re : Barre de tâches à gauche du bureau gnome

#6 18-01-2019 14:11:10

Re : Barre de tâches à gauche du bureau gnome

#7 18-01-2019 15:51:43

Re : Barre de tâches à gauche du bureau gnome

#8 18-01-2019 16:01:28

Re : Barre de tâches à gauche du bureau gnome

#9 04-02-2019 16:48:23

Re : Barre de tâches à gauche du bureau gnome

#10 04-02-2019 17:30:29

Re : Barre de tâches à gauche du bureau gnome

#11 08-02-2019 12:02:51

Re : Barre de tâches à gauche du bureau gnome

Pied de page des forums