Soms is het beter om het dok te verlaten en weg te varen!
Nadat GNOME officieel werd geïntroduceerd met Ubuntu 17.10, is Ubuntu 20.04 de 6e Ubuntu-release en alleen de 2e Ubuntu LTS-release om het te gebruiken in plaats van de eerder gebruikte Unity. Vanwege het gebruiksgemak en een groot aantal beschikbare uitbreidingen en aanpassingen, is GNOME goed ontvangen binnen de Ubuntu-gebruikersgemeenschap.
een nieuwe GNOME-extensies app is geïntroduceerd in Ubuntu 20.04, waardoor het nog eenvoudiger is om het bureaublad aan te passen. In dit artikel zullen we zien hoe u deze app kunt gebruiken om het Ubuntu Dock uit te schakelen.
De GNOME Extensions-app installeren
De GNOME Extensions-app maakt deel uit van het pakket gnome-shell-extensies
. Dit pakket installeert de app samen met alle beschikbare GNOME-extensies.
sudo apt install gnome-shell-extensions
Verifiëren de installatie door het uitvoeren van:
gnome-extensies versie
Dock uitschakelen vanaf de opdrachtregel
Voer de volgende opdracht uit om een lijst met beschikbare GNOME-extensies te krijgen.
lijst met gnome-extensies
Het Ubuntu-dock uitschakelen, loop:
gnome-extensies uitschakelen [email protected]
Hiermee wordt het dock onmiddellijk van het scherm verwijderd. Op dezelfde manier kunt u de inschakelen
commando om het dock weer in te schakelen.
Dock uitschakelen vanuit GUI
Ga naar Activiteiten
in de linkerbovenhoek en zoek naar Extensies
.
Schakel het Ubuntu-dock uit door de schakelknop op Uit zetten. Zorg er ook voor dat de Wisselknop voor extensies is ingeschakeld op de titelbalk van het venster.
Zo ziet het bureaublad eruit zonder het dock.
U kunt de schakelknop weer op Aan zetten om het dock weer in te schakelen.