De beste gnome shell-extensies voor ubuntu

Als u een Ubuntu-gebruiker bent, zult u dit bericht leuk vinden dat we hebben voorbereid om u de vijf beste GNOME Shell- extensies voor het Canonical-besturingssysteem te presenteren waarmee u ervoor kunt zorgen dat het systeem zich beter aanpast aan uw smaak en voorkeuren en mogelijk een hogere productiviteit.

De 5 beste GNOME Shell-extensies voor uw Ubuntu

Dash to Dock

Allereerst hebben we de Dash to Dock-extensie waarmee je de GNOME Dash als desktopdock kunt plaatsen in plaats van de karakteristieke GNOME Shell-zijbalk. Met het nieuwe dock kunt u applicatiestarters toevoegen, ze opnieuw ordenen, ze gebruiken om applicaties te minimaliseren en te wisselen tussen degene die u hebt geopend. Zoals elk goed dock kunt u het in grootte en verschillende thema's aanpassen.

Dash to Dock op GNOME-extensies

TopIcons Plus

Een extensie die het probleem van oudere applicaties zal oplossen met pictogrammen die de taakbalk vereisen, die meestal verborgen zijn in de linker benedenhoek van GNOME Shell. Een onaangenaam effect dat het gebruik van sommige applicaties zoals Skype, Franz, Telegram en Dropbox die gebaseerd zijn op pictogrammen in de taakbalk, bemoeilijkt.

TopIcons Plus op GNOME-extensies

Cafeïne

Een extensie die ervoor zorgt dat uw computer wakker blijft, erg handig als u wilt voorkomen dat de screensaver en automatische opschorting op uw laptop verschijnen. Ondersteunt GNOME Shell 3.4 of hoger.

Cafeïne op GNOME-extensies

Drop Down Terminal

De handige Linux-opdrachtterminal verdient ook een extensie. Drop Down Terminal biedt u toegang tot de terminal door op een paar toetsen op uw toetsenbord te drukken.

Drop Down Terminal op GNOME-extensies

Bovenpaneel Werkruimte schuiven

Als u een gebruiker bent die gebruik maakt van meerdere werkomgevingen, kunt u met deze extensie heel snel schakelen tussen deze met een simpele scroll in het bovenste paneel.

Bron: omgubuntu