Le versioni di kernel che ho sono 3.10.17 e 4.5.2, e il grub mi mette prima le 3.10.17 (huge e generic) e per terza la 4.5.2.
Non so come non ho update-grub, quindi non posso andare a editare il file /etc/default/grub mettendo
Codice: Seleziona tutto
GRUB_DEFAULT=savedCodice: Seleziona tutto
update-grub
grub-set-default 4e neanche settare direttamente GRUB_DEFAULT=4 in /etc/default/grub perchè poi dovrei dare update-grub e siamo da capo..
Andare a modificare a mano il grub.cfg non mi sembrava una cosa saggia e ho lasciato perdere.
Per ora ho usato un warkaround abbastanza vergognoso, ho cambiato il nome del kernel da vmlinuz-4.5.2 a vmlinuz.3.10.18 modificando il relativo symlink (tra l'altro non modificando i relativi System e config e symlink).
Così riesco ad avere il 4.5.2 (alias 3.10.18) per primo e funzionante, però preferirei poter fare le cose per bene.. qualcuno ha idea? anche solo del perchè non mi compaia update-grub?

