#1 Le 19/08/2022, à 12:25
- lebretondelest
Extensions Gnome et 22.04.1
Bonjour,
J'attendais pour faire une mise à niveau vers 22.04 que le souci d'utilisation difficile des extensions Gnome via Firefox soit résolu ;
est-ce le cas avec la version 22.04.1 ?
Merci d'avance
Hors ligne
#2 Le 19/08/2022, à 12:37
- nany
Re : Extensions Gnome et 22.04.1
Bonjour,
Non, ce n’est pas résolu. Mais on peut contourner le problème avantageusement en installant gnome-shell-extension-manager :
sudo apt install gnome-shell-extension-managerHors ligne
#3 Le 19/08/2022, à 12:53
- lebretondelest
Re : Extensions Gnome et 22.04.1
Merci de la réponse, mais c'est via Firefox ou une appli séparée ?
Je crois que j'avais déjà testé et pas été convaincu en termes d'ergonomie...
Hors ligne
#4 Le 19/08/2022, à 15:23
- nany
Re : Extensions Gnome et 22.04.1
C’est une application séparée. On peut faire des recherches d’extensions et voir si elles sont supportées par la version de Gnome-shell. Et aussi installer l’extension bien sûr.
https://itsfoss.com/extension-manager/
Hors ligne