Er zijn de laatste tijd een aantal verschillende webbrowsers op de markt. De belangrijkste reden hiervoor is dat gebruikers meer dan ooit ziek worden van de reguliere browsers. Chrome eet RAM op (en heeft grote privacyproblemen) en Firefox dat beter wordt, heeft nog steeds werk nodig. Dat is de reden waarom de Brave-browser en de Vivaldi-browser enige aandacht hebben gekregen.
De Vivaldi-browser is een re-implementatie van de Opera-webbrowser, voordat (volgens Vivaldi) alles voor het slechtste veranderde. Net als Opera heeft Vivaldi dingen als snelkiezen, terugspoelen / snel vooruitspoelen en andere Opera-browsereigenschappen. Daarnaast heeft het ook veel nieuwe dingen om te pronken, zoals Adaptive Interface Color: iets dat de browser in staat stelt om van kleur te veranderen op basis van de browserpagina, enz.
Deze browser heeft behoorlijk goede ondersteuning voor Linux. In dit artikel bespreken we alle manieren om de Vivaldi-browser onder Linux te installeren.
Wilt u de Vivaldi-webbrowser op uw Ubuntu-pc laten werken? Hier is hoe het te doen. Begin met het openen van een terminalvenster. Voer vanaf hier de updatetool uit. Dit is om ervoor te zorgen dat alle programma's, bibliotheken en andere dingen up-to-date zijn.
Opmerking: Debian-gebruikers volgen deze instructies, omdat Ubuntu en Debian erg op elkaar lijken. Mogelijk moet u apt vervangen door apt-get .
Hoe installeer ik Debian Linux
Debian is een van de oudere Linux-distributies die er zijn. Het bestaat al een lange tijd en is soms traag om te veranderen. Voor sommigen is dit niet erg aantrekkelijk, omdat het niet zo opwindend is als Arch Linux, waar de nieuwste en beste software meteen beschikbaar is voor gebruikers. Maar toch, als je een Linux-gebruiker bent die er de voorkeur aan geeft dat alles altijd werkt, is Debian een geweldig besturingssysteem om te overwegen.
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.
