Salut Roschan
J'ai bien lu les docs indiquées, au demeurant très intéressantes
1-Extensions
J'ai bien suivi
sudo apt-get install gnome-shell-extensions
$ gnome-shell-extensions
gnome-shell-extensions: command not found
Le commentaire suivant explique (peut-être) pourquoi ça ne marche pas ?
Le redémarrage de la session est parfois nécessaire pour que ces extensions officielles soient disponibles dans l'Outil de Personnalisation GNOME
En effet je suis sur live-key, et les seuls choix qui s'offrent à moi, contrairement à Unity, sont : cancel, restart et power off, pas moyen de juste fermer la session. Si je fais restart je perds tout et dois repartir de zéro
2-Epiphany
navigateur intéressant, mais le ne vois pas comment récupérer mes nombreux bookmarks depuis Firefox ou depuis bookmarks.html. De plus je ne le retrouve pas dans les applis, j'ai dû le lancer depuis Terminal
Bonne journée