Activer l'installation des extensions Gnome sur Ubuntu 18.04 LTS

Extensions Gnome

Bien que les gars de Canonical aient pris la décision de quitter Unity pour passer à Gnome Shell depuis sa version précédente Ubuntu 17.10 Artful Aardvark et le temps a passé ils n'ont pas encore bien fait les choses Eh bien, un point important a été oublié et cela me surprend vraiment.

Le fait d'effectuer une migration d'un environnement à un autre et de le rendre public implique une série de tests et de versions bêta pour connaître tous ces problèmes générés en usage courant avant de lancer une version stable.

Mais que vous oubliez d'effectuer l'intégration des fonctions essentielles vraiment ça laisse beaucoup à désirer.

Quelques jours seulement après le lancement officiel d'Ubuntu 18.04 pendant cette période, vous avez effectué vos installations et configurations pour personnaliser votre système tu as peut-être remarqué si tu dois essayer l'installation d'une extension gnome ne peut tout simplement pas se faire facilement.

Et cela se produit parce que le système n'est pas livré avec une fonction spéciale "pour se connecter" entre les extensions et l'environnement de bureau.

Voilà pourquoi Il faut mettre la main pour pouvoir installer les extensions Gnome dans notre système.

Comment installer les extensions Gnome Shell sur Ubuntu 18.04 LTS?

Si vous souhaitez profiter des avantages de l'utilisation des extensions Gnome Shell sur votre système, nous devons installer un package supplémentaire qui fonctionnera comme un pont entre le site Web des extensions Gnome et notre système.

installation d'extensions

Pour cette Nous devons ouvrir un terminal et exécuter la commande suivante:

sudo apt-get install chrome-gnome-shell

Terminé l'installation Ce supplément fonctionnera dans Google Chrome, Firefox ou Opera, ainsi que les navigateurs basés sur ces précédents ou qui prennent en charge leur système d'add-ons à partir d'eux.

Maintenant, la prochaine étape est d'aller sur le site officiel des extensions Gnome et Nous pouvons voir une section où il nous dit que nous avons besoin d'un complément pour installer les extensions directement depuis notre navigateur.

Ou si vous préférez:

  • Pour Google Chrome, Chromium et Vivaldi, installez le plugin via Chrome Web Store.
  • Dans Firefox, installez le module complémentaire depuis le site Mozilla Addons.
  • Pour Opera, installez-le depuis le site Opera Addons.

En cliquant sur le bouton pour installer le module complémentaire, il sera ajouté à notre navigateur, il vous sera peut-être demandé de redémarrer votre navigateur, il suffit de le fermer et de le rouvrir.

Gnome

Une fois que cela est fait, nous revenons à la page officielle des extensions Gnome, nous pourrons constater que le message a disparu et un interrupteur apparaît avec lequel nous pouvons installer ou supprimer les extensions Gnome Shell du navigateur.

Comment gérer les extensions Gnome Shell dans Ubuntu 18.04?

Pour avoir le contrôle de ceux-ci depuis notre système nous avons un outil que déjà plus d'un sait, c'est comme ça que je parle Gnome Tweak Outil qui a une page pour gérer les extensions installées de Gnome Shell.

Pour l'installer ils ne devraient le chercher que sous le nom de 'Gnome Tweaks'dans l'application logicielle Ubuntu et installez-le.

Puis ils ne devraient exécuter que l'outil bricoler et gérer les extensions Gnome Shell installées dans l'onglet "Extensions".

Installation du package d'extension Gnome à partir des référentiels Ubuntu

Ubuntu, ainsi que plusieurs autres distributions Linux qui ont une version ou utilisent Gnome Shell comme environnement de bureau ils fournissent généralement un package avec un ensemble minimal d'extensions Gnome, quelle que soit la version de l'environnement qu'ils utilisent, ce package est entièrement compatible avec celui-ci.

En gros, entre 8 et 10 extensions seront installées dans le système, pour cela Il suffit d'ouvrir un terminal et d'exécuter la commande suivante:

sudo apt install gnome-shell-extensions

Une fois que cela est fait, nous pouvons aller sur le site officiel des extensions ou depuis l'outil Gnome Tweak et nous pouvons voir les nouvelles extensions installées prêtes à être activées sur votre système.


Laisser un commentaire

Votre adresse e-mail ne sera pas publiée. Les champs obligatoires sont marqués avec *

*

*

  1. Responsable des données: Miguel Ángel Gatón
  2. Finalité des données: Contrôle du SPAM, gestion des commentaires.
  3. Légitimation: votre consentement
  4. Communication des données: Les données ne seront pas communiquées à des tiers sauf obligation légale.
  5. Stockage des données: base de données hébergée par Occentus Networks (EU)
  6. Droits: à tout moment, vous pouvez limiter, récupérer et supprimer vos informations.

  1.   Jorge Ariel Utello dit

    Al pet le shell n'est pas natif, ne les prend pas?

  2.   Jonathan dit

    Après avoir tapé les commandes dans le terminal, téléchargé correctement tout le contenu, cela ne fonctionne toujours pas ...

    Avez-vous d'autres options que je peux essayer pour intégrer ces extensions à mon ordinateur?

    1.    David Orange dit

      Si vous avez installé l'intégration, il suffit d'avoir le module complémentaire pour votre navigateur et c'est la seule méthode, cela ne doit pas échouer.
      Avec quel navigateur faites-vous cela?