06/09/2020, 13:29
Sono un pirla: avevo aperto synaptic della mint 19.3. Ovviamente anche nei miei della mint 20 è presente. Chiedo venia 
Anch'io l'ho sempre usato, per i motivi che hai detto tu. Poi, un paio di mesi fa, mi sono imbattuto in quella discussione del forum, e siccome dovevo solo toccare la voce del so di default e il timeout, l'ho fatto manualmente.
Ma tu mi rimetti tutto in discussione.
Allora chiedo: grub-customizer si o no?
Chiedo scusa, ma sono un po' di coccio!!
Anch'io l'ho sempre usato, per i motivi che hai detto tu. Poi, un paio di mesi fa, mi sono imbattuto in quella discussione del forum, e siccome dovevo solo toccare la voce del so di default e il timeout, l'ho fatto manualmente.
Ma tu mi rimetti tutto in discussione.
Allora chiedo: grub-customizer si o no?
Chiedo scusa, ma sono un po' di coccio!!