Oudere kernels verwijderen.

Het probleem:

Oudere kernels en bijbehorende files blijven ‘plakken’ als er een nieuwere kernel word geïnstalleerd. Al met al zo’n 30MB per kernel. Met een paar jaar updaten worden dat toch honderden MB’s die werkeloos op de harde schijf kamperen. Gelukkig is de rommel opruimen relatief simpel in een terminal.

De oplossing:

Continue reading

Linux Mint apostrofes dubbelklik.

Het probleem:

Op het desktop toetsenbord alhier moest er tijdens php programmeerwerk 2x op de apostrofe gedrukt worden om dan een accolade ipv een apostrofe voorgeschoteld te krijgen. Dubbele aanhalingstekens dito. Niet mee te werken.
Dat probleem was in Linux Mint 15 via de gui niet op te lossen en het was na wat google-fu toch weer de terminal die het feestje gered heeft.

De oplossing:

Continue reading