Linux Installer et gérer les extensions GNOME

GNOME est l’un des bureaux Linux les plus populaires. Ubuntu est équipé par défaut du bureau GNOME 3 depuis la version 18.04 LTS. Pour les utilisateurs expérimentés, passer de Unity à GNOME ne pose aucun problème. Mais pour beaucoup, les extensions de GNOME sont un peu déroutantes au début. Dans nos trucs et astuces, nous vous montrons comment installer et gérer les extensions GNOME. Nous vous présentons également quelques extensions recommandées.

• Qu’est-ce que les extensions GNOME?
• Comment installer les extensions GNOME?
• Extensions GNOME : notre top 5

Qu’est-ce que les extensions GNOME?

Les extensions GNOME sont en fait des extensions ou des modules complémentaires fournis par un tiers pour le bureau GNOME. Vous pouvez vous représenter les extensions comme un petit code qui peut modifier le fonctionnement ou même l’interface de GNOME. Grâce à Firefox ou Google Chrome, vous avez certainement déjà été en contact avec des modules complémentaires. Vous pouvez par exemple installer un module complémentaire dans votre navigateur pour désactiver les annonces publicitaires. Ce module complémentaire est également développé par un fournisseur tiers et améliore les performances de votre navigateur. Les extensions GNOME ne sont finalement rien d’autre – mais pour le bureau.
L’aspect pratique des extensions GNOME est que chaque utilisateur peut optimiser les performances et l’interface de son bureau selon ses propres préférences. Il existe ainsi des extensions pour afficher la météo ou la vitesse d’Internet, mais aussi pour personnaliser l’interface du bureau. Un exemple est le déplacement du panneau vers un dock ou le positionnement de l’horloge.

Comment installer les extensions GNOME?

Il y a plusieurs façons d’installer les extensions GNOME. La méthode la plus répandue et la plus simple passe par le navigateur. Comme le navigateur Firefox est installé par défaut dans Ubuntu, nous l’utilisons également dans notre guide pas à pas. Vous pouvez également lire notre guide de démarrage rapide.

Note : nous utilisons Ubuntu 18.04 LTS dans notre guide, mais les étapes fonctionnent également pour les environnements de bureau d’autres systèmes Linux qui prennent en charge GNOME (par ex.

GNOME-Extensions: Unsere Top 5

1. Dash to Dock: Ein Dock für die Gnome-Shell. Mit dieser Erweiterung können Sie die Seitenansicht in ein Dock umwandeln. Cette fonction est particulièrement pratique pour les fans de macOS. Vous pouvez placer le dock aussi bien sur le côté que sur le bord inférieur du bureau.
2. Caffeine : permet de désactiver temporairement l’économiseur d’écran. Ainsi, lorsque vous envoyez ou téléchargez de gros fichiers, cette extension vous permet de faire en sorte que votre écran ne s’éteigne pas automatiquement.
3. OpenWeather : un widget météo simple qui fait exactement ce que l’on attend de lui. Vous pouvez voir le lever et le coucher du soleil et créer différents lieux.
4. RSS Feed : Un simple lecteur RSS pour s’abonner, par exemple, à nos différents services heise.
5. NetSpeed : surveille le taux de téléchargement ainsi que le taux d’upload.

Guide rapide

1. Ouvrez extensions.gnome.org dans Firefox.
2. Cliquez sur « Click here to install browser extension ».
3. Poursuivez avec « Continuer l’installation ».
4. Passez ensuite à « Ajouter ».
5. Öffnen Sie ein Terminal und geben Sie « sudo apt install chrome-gnome-shell » ein.
6. Gehen Sie dann erneut auf extensions.gnome.org und installieren Sie die Erweiterungen Ihrer Wahl, indem Sie den Schieberegler innerhalb der gewählten Erweiterung aktivieren.
7. Über « Installed Extensions » können Sie Ihre Erweiterungen verwalten.