Installer des extensions GNOME Shell en utilisant apt ou apt-get? C'est possible?
J'ai installé gnome-tweakset gnome-shell-extensionsutilisé:
$ sudo apt install gnome-tweaks $ sudo apt install gnome-shell-extensions
Maintenant, je suis intéressé par l'installation de quelques extensions. Je souhaite installer les extensions en utilisant aptou apt-getou snap, mais pas en utilisant un navigateur Web.
Par exemple, je pourrais installer l' extension " netspeed " en utilisant un navigateur, mais je ne suis pas en mesure de trouver ce package dans les dépôts main / univers / multiverse. Alors, comment puis-je installer cette (netspeed) ou une autre extension en utilisant la ligne de commande et dans quel dépôt dois-je rechercher?
Edit: Cette question ne concerne pas la possibilité d'installer / gérer ou supprimer les extensions GNOME Shell. Il s'agit spécifiquement de les faire à partir d'un terminal, en utilisant aptou des gestionnaires de paquets similaires.
Edit: le centre logiciel n'affiche toujours aucun résultat:
Réponses
Certaines extensions sont en effet packagées dans les référentiels de logiciels Ubuntu standard. Ceux-ci peuvent être installés à l'aide de apt getSynaptic Package Manager et même à l'aide du logiciel Snap. Cependant, la sélection d'extensions emballées dans les référentiels de logiciels Ubuntu est relativement petite .
Les noms des packages commencent généralement par gnome-shell-extension, vous pouvez donc avoir une idée de ce qui est standard disponible avec la commande
apt search gnome-shell-extension
ou parcourez-les dans le gestionnaire de paquets Synaptic après avoir recherché le terme. Si une extension que vous recherchez n'est pas disponible dans les référentiels de logiciels Ubuntu, vous n'avez pas d'autre choix que de l' installer d'une manière différente , soit via le site Web, soit par une installation manuelle.
Extensions à l'échelle du système par rapport aux extensions installées localement
Les extensions installées à l'aide de aptsont installées pour tous les utilisateurs. Ils ne sont pas activés par défaut. Chaque utilisateur peut activer ou désactiver l'extension individuellement. Ubuntu 20.04 est livré avec un utilitaire dédié «Extensions» qui permet d'activer ou de désactiver une extension Gnome Shell. Les utilisateurs d'anciennes versions d'Ubuntu peuvent installer "Tweaks" pour activer / désactiver les extensions.
Les extensions installées à l'aide du site Web Extensions Gnome sont installées pour l'utilisateur uniquement. Seul l'utilisateur actuel le «voit» et peut l'activer / le désactiver.
En règle générale, il est préférable d'installer les extensions shell gnome en utilisant Ubuntu PPA. Ces extensions ont été fournies par les développeurs Ubuntu et ont été testées pour fonctionner avec votre système.
Les extensions installées à partir du site Web des extensions Gnome peuvent ne plus fonctionner correctement avec une future mise à jour sur votre système. Notez également que cela n'est pas directement pris en charge dans une installation Ubuntu par défaut: vous devez installer des logiciels supplémentaires avant de pouvoir installer à partir du site Web des extensions Gnome Shell.
Les extensions GNOME sont disponibles directement sur le logiciel Ubuntu. Il vous suffit de les activer via GNOME Tweaks.
Dès que vous installez une extension sur le logiciel Ubuntu, elle est ajoutée aux extensions sur GNOME Tweaks où vous pouvez les configurer ou les personnaliser.
