Beheer van systeemkernen in Ubuntu is lastig. Te lastig. Dat kan beter.
Een
onderdeel van het systeembeheergereedschap van Linux Mint, blijkt (nog steeds) makkelijk te installeren in Ubuntu 20.04 Focal. Namelijk Systeemkernbeheer (kernel-manager).
Als volgt kun je dat installeren, vanuit mijn eigen PPA:
sudo add-apt-repository -y ppa:computertip/mint-tools-ubuntu
sudo apt-get update
sudo apt-get install kernel-manager
Daarna zou je het moeten kunnen terugvinden in je menu als Systeemkernbeheer. Zodat verwijderen en toevoegen van systeemkernen voortaan een fluitje van een cent is. Netjes volledig in het Nederlands vertaald, want zo hoort het natuurlijk.
Ik raad aan om de PPA direct daarna weer te verwijderen uit je bronnenlijst, want hij zal toch nooit worden bijgewerkt (en je wilt niet "per ongeluk" nog meer eruit installeren). Als volgt:
sudo add-apt-repository -r -y ppa:computertip/mint-tools-ubuntu
Let op: installeer in *buntu 20.04
niet vanuit deze PPA ook andere programmatuur; die werkt namelijk helaas niet goed in *buntu 20.04.
Tot slot: ik heb het slechts beperkt beproefd, dus testers gevraagd! Probeer alle functies van Systeemkernbeheer eens uit en meld hier het resultaat. Alvast bedankt!