{"partition": "head_middle", "source_domain": "forum.ubuntu-fr.org", "digest": "sha1:PSWLHRHKXVG36CQXBKFENZKZGZORXSOW", "path": "/lustre/fsn1/projects/rech/qgz/uzq54wg/processed_redpajama/base_processing/output/fr/2014-15/000_00011.parquet"}
» Problème pour l'extension "dock" sous Gnome-shell
Gus DLC
Problème pour l'extension "dock" sous Gnome-shell
Bonjour à tous,voilà, je débute tout juste sous Ubuntu et après 2 semaines d'utilisation, je me suis dit qu'il était grand temps de personnaliser un peu mon environnement de travail. Je me suis donc lancé dans l'installation d'extensions.Tout d'abord, je suis allé sur le site : https://extensions.gnome.org/ mais il m'affichait que je n'avais apparemment pas la bonne version de Gnome-shell (alors que j'ai la dernière...). J'ai donc cherché d'autre façon d'installer les extensions. Je suis tombé sur ce site : http://www.tux-planet.fr/installer-et-c … ome-shell/ que j'ai suivi. Problème : l'extension du dock ne s'affiche pas et n'apparaît pas dans Gnome-Tweak-Tool... Entre temps, je me suis rendu compte que le site https://extensions.gnome.org/ ne marchait pas car j'utilisais Chromium (et qu'il ne fonctionne qu'avec Firefox...). Je suis do