GNOME Shell-extensies in Chromium

De functionaliteit van GNOME Shell is eenvoudig uit te breiden met allerlei extensies. Die installeer je via het web. Initieel werkte dat alleen in Firefox. Sinds kort is er ook een oplossing die het installeren van GNOME Shell-extensies in Chromium mogelijk maakt. Daarvoor installeer je eerst het pakket chrome-gnome-shell. In Ubuntu doe je dat door eerst de juiste PPA toe te voegen en de pakketbronnen te verversen:

 

sudo apt add-repository ppa:ne0sight/chrome-gnome-shell

Sudo apt update

 

En daarna het pakket te installeren:

 

sudo apt install chrome-gnome-shell

 

Installeer daarna in Chromium uit de Chrome Web Store de extensie GNOME Shell integration. Als je daarna in Chromium naar https://extensions.gnome.org/local surft, kun je GNOME-extensies installeren en in- en uitschakelen.

 

Link:

https://wiki.gnome.org/Projects/GnomeShellIntegrationForChrome

 

NEDLINUX FORUM

Het nederlandse linuxforum
Voor beginners en pro’s

 

 

 

 

E-mailadres



 

 

Nieuwste editie:

Linuxmag op Facebook

@linuxmagnl op Twitter

linuxmagNL Handbrake is een alleskunner op het gebied van converteren van videobestanden. In dit artikel lees je hoe je Handbr… https://t.co/hiUw0QVynt
22hreplyretweetfavorite
linuxmagNL Hoewel Linux Mint, zo uit de verpakking, flink wat printers ondersteund, gaat het afdrukken toch lang niet altijd g… https://t.co/Zt81zWbihT
linuxmagNL Kaku is een open source desktop muziekspeler waarmee je op je Linux desktop computer bijvoorbeeld YouTube- en Vimeo… https://t.co/hTmhF1nf8e