Pages : 1
#1 Le 18/10/2019, à 15:24
- sinbad83
18.04 Installation d'un Dock (Résolu)
Bonjour à tous,
je voudrais installer un dock sur 18.04.3, je croyais que c'était installé de base, cela n'est pas le cas. Sinon, lequel prendre ?
Merci pour vos réponses.
Dernière modification par sinbad83 (Le 29/10/2019, à 12:08)
La connaissance n'est pas une denrée rare, il faut la partager avec les autres.
Linux registered #484707
Site: www.coursinforev.org/doku.php
Desktop AMD Ryzen 5-3600, RAM 16GB, Ubuntu 20.10, HP Pavillon G6 Ubuntu 20.10 et Ten, Serveur Ubuntu 18.04
Hors ligne
#2 Le 18/10/2019, à 15:53
- Doods
Re : 18.04 Installation d'un Dock (Résolu)
Bonjour,
Oui il y a bien un dock d'installé par défaut (dans la version de base) mais il offre peu d'options de configuration.
Perso j'ai installé l'extension Dash to dock que j'avais pris l'habitude d'utiliser du temps où il y avait une " saveur " Ubuntu Gnome.
Et j'ai ainsi pu retrouver la fonction très pratique de changement de bureau en scrollant sur ce dock.
Seul petit bémol : dans la vue Activités on voit 2 docks qui se superposent (c'est dû à un bug), mais ça n'est pas vraiment gênant.
Ubuntu 20.04.3 LTS (Gnome avec Wayland), Clevo Slim W130HU, 8Go, SSD 256 Go
Hors ligne
#3 Le 19/10/2019, à 14:18
- sinbad83
Re : 18.04 Installation d'un Dock (Résolu)
Merci, peux-tu me dire aussi comment installer Dash-to-dock ?
Dernière modification par sinbad83 (Le 04/02/2020, à 00:59)
La connaissance n'est pas une denrée rare, il faut la partager avec les autres.
Linux registered #484707
Site: www.coursinforev.org/doku.php
Desktop AMD Ryzen 5-3600, RAM 16GB, Ubuntu 20.10, HP Pavillon G6 Ubuntu 20.10 et Ten, Serveur Ubuntu 18.04
Hors ligne
#4 Le 19/10/2019, à 15:07
- Doods
Re : 18.04 Installation d'un Dock (Résolu)
Perso je suis passé par le site site des extensions gnome. Pour que ça marche, j'utilise firefox et le module complémentaire " Intégration à Gnome Shell ".
Il doit être possible de passer par la logithèque (Logiciels Ubuntu) et de faire une recherche " Dash to dock ".
Ubuntu 20.04.3 LTS (Gnome avec Wayland), Clevo Slim W130HU, 8Go, SSD 256 Go
Hors ligne
#5 Le 28/10/2019, à 09:09
- sinbad83
Re : 18.04 Installation d'un Dock (Résolu)
Merci Doods,
finalement, je suis passé en 19.10 et j'ai trouvé directement un dock qui me convient, le gnome-shell-extension-ubuntu-dock .
Je peux donc clore le sujet.
La connaissance n'est pas une denrée rare, il faut la partager avec les autres.
Linux registered #484707
Site: www.coursinforev.org/doku.php
Desktop AMD Ryzen 5-3600, RAM 16GB, Ubuntu 20.10, HP Pavillon G6 Ubuntu 20.10 et Ten, Serveur Ubuntu 18.04
Hors ligne
Pages : 1