abonneren

gnome shell

Handigste extensies voor Gnome Shell

Toen Gnome Shell in 2011 uitkwam, vond iedereen het verschrikkelijk. Een aantal jaren later is het een stuk beter en volwassener geworden. Zelfs Linus gebruikt het weer. Het kan nog beter: met extensies wordt het gebruik van Gnome Shell een stuk fijner.

- Door Jochem de Goede | 04/11/16 09:30