Wilt u het pictogram, het shell-thema of zelfs het lettertype in Gnome Shell wijzigen, maar weet u niet zeker hoe? Geen zorgen. In dit artikel leren we je alles wat er te weten valt over hoe je de Gnome-desktopomgeving kunt gebruiken, aanpassen en er je eigen maken. Van pictogrammen, muisaanwijzers, extensies, lettertypen en alles daartussenin; dit is de definitieve gids over het aanpassen van Gnome Shell. Laten we aan de slag!
Alle aanpassingen in dit artikel worden gedaan met behulp van de Gnome Tweak Tool. Mogelijk is het al op uw Linux-pc geïnstalleerd. Als dat niet het geval is, opent u een terminal of softwarebrowser, zoekt u naar "Gnome Tweak Tool" en installeert u het.
In tegenstelling tot veel andere bureaubladomgevingen is de weergave in Gnome Shell erg eenvoudig. Het is niet gescheiden in afzonderlijke tabbladen. In deze sectie zullen we bespreken hoe verschillende aspecten van het uiterlijk van de Gnome kunnen worden veranderd.
Om te beginnen, zorg ervoor dat Gnome Tweak Tool is geïnstalleerd. Eenmaal geïnstalleerd, opent u de tweak-tool en kijkt u naar de lijst aan de linkerkant. Selecteer 'Uiterlijk'.
Gnome is grotendeels gebouwd dankzij de GTK3-toolkit. Als gevolg hiervan vertrouwen alle vensterdecoraties en programmabesturingen erop. Het GTK-thema is verantwoordelijk voor hoe dit alles eruitziet voor uw besturingssysteem. Als je het thema wilt wijzigen, ga je naar het hulpprogramma Tweak en zoek je 'GTK +'.
Gecodeerde mappen maken op KDE Linux Desktop met Vaults
De KDE Plasma-desktopversie 5.11 heeft een nieuwe functie met de naam Vaults. Met Vaults kunnen gebruikers gecodeerde mappen op KDE Linux rechtstreeks vanuit het paneel maken. Als u de nieuwe Vaults-functie wilt gebruiken, moet u uw versie van KDE updaten naar versie 5.11. Een upgrade naar deze versie moet net zo eenvoudig zijn als het openen van de updatebeheerfunctie en het uitvoeren van de updatetool.
Muziek uploaden naar Google Music op Linux
Als u op zoek bent naar een redelijk fatsoenlijke muziekstreamingservice om uw muziek te hosten op Linux, er zijn niet veel opties om uit te kiezen. Van alle belangrijke keuzes die er zijn, is veruit de beste optie Google Music. Dit komt omdat Google Music een officiële desktop-applicatie voor Linux heeft.