Installer des extensions GnomeShell depuis le navigateur
20 mars 2019 09:00 1 messagesTAGS : Planet Libre Ubuntu Extension Firefox
Dans ce billet, je ne listerai pas les extensions Gnome Shell que j’utilise (ce n’est pas le but), je parlerai juste du comment installer facilement ces extensions.
En 2017, Antistress publiait sur son blog Libre-ouvert Gérer les extensions pour GNOME Shell avec Firefox en 2017. Nous sommes en 2019 et son billet est toujours d’actualité. Ayant eu besoin d’installer quelques extensions Gnome Shell sur une machine Ubuntu 18.04, j’ai pu vérifié. Et j’ajouterai à son billet quelques compléments ci-dessous.
Le site des Extensions Gnome https://extensions.gnome.org/ liste les différentes extensions disponibles et installables pour différents versions de Gnome.
Une fois l’extension installée, il est possible d’installer puis d’activer ou de désactiver des extensions directement depuis son navigateur (Ce que l’on peut également faire avec l’outil Gnome Tweak pour les applications installées).
Lorsque que vous n’en avez pas usage, je conseillerai de désactiver voir de désinstaller l’extension. L’extension en elle-même n’alourdit pas Firefox (about:performance, cf Quels onglets et quelles extensions ralentissent votre Firefox confirme que ce n’est pas ce qui consomme le plus de mémoire). Mais pour des questions de sécurité, vu que cette extension modifie le comportement de votre environnement de bureau (en ajoutant la possibilité d’ajouter des modules, de les activer ou non), ce pourrait être une porte d’entrée en cas de faille de sécurité (et tout code informatique peut présenter des failles de sécurité).
Dans la même rubrique
25 septembre 2020 – Linux - Accéder aux données d’une partition Windows chiffrées avec Bitlocker
24 avril 2020 – Grammalecte
9 mars 2020 – Borg - comment s’assurer que vos serveurs ont des backups récents
25 novembre 2019 – P2V avec Clonezilla ou comment convertir un serveur physique en machine virtuelle
12 novembre 2019 – Evenement - Le libre, meilleur outil pour vos combats associatifs
1 Messages
Installer des extensions GnomeShell depuis le navigateur, LordPhoenix | 21 mars 2019 - 20:23 1
J’ajouterais que pour que ça fonctionne il faut aussi que soit installé le paquet chrome-gnome-shell.