Je viens juste de passer à Gnome sous Ubuntu 18.04, comment rendre les activités toujours visibles?
J'ai cherché un peu mais je ne l'ai pas trouvé nulle part. Où puis-je le faire afin de ne pas avoir à appuyer sur le bouton Activités en haut à gauche pour afficher la liste de mes applications? soit masquer/afficher ou toujours visible serait acceptable, mais appuyer sur un bouton est une douleur.
Vous l'avez compris, installez Gnome Tweak Tool et activez le buntu Dock.
Sudo apt-get install gnome-Tweak-tool
Dans la configuration de l'outil Tweak, allez dans Extensions, puis faites défiler jusqu'à buntu Dock.
Ubuntu inclut une version modifiée d’une extension GNOME qui transforme le "tiret" d’Activities en une sorte de dock. Vous devriez l'avoir installé. Voici comment accéder à ses paramètres:
https://linuxconfig.org/how-to-customize-dock-panel-on-ubuntu-18-04-bionic-beaver-linux
Cependant, vous ne pouvez pas l'avoir pour une raison quelconque.
Sinon, vous pouvez installer le jeu standard de cette façon:
https://linuxconfig.org/how-to-install-gnome-Shell-extensions-on-ubuntu-18-04-bionic-beaver-linux
Alternativement, vous pouvez préférer la version "complète", appelée "Dash to Dock":
https://extensions.gnome.org/extension/307/dash-to-dock/
Si vous installez l'addon Firefox mentionné dans mon 2ème lien, vous pouvez ajouter des extensions directement à partir du site des extensions GNOME - y compris Dash-to-Dock.
Si vous faites cela, je trouve que quelques autres améliorent considérablement l'expérience de GNOME 3. Je les décris ici:
https://liam-on-linux.livejournal.com/57630.html
Cela peut être utile.