Quotidien Shaarli
September 12, 2017
Comment supprimer les anciens kernels Linux pour gagner un peu de place sur votre disque dur ? - Korben
À noter que sous Ubuntu (du moins, de souvenir), une fonctionnalité similaire est proposée par le logiciel Ubuntu Tweak.