[RISOLTO] Linux Mint 20, grub e suoi submenu

[dante5351]

La recente Linux Mint 20 ha fatto delle modifiche al grub, che qualche problemino lo danno.

Io ho installate, accanto alla Mint 20, che comanda il grub, la Mint 19.3, MX 18.3, e, su un altro disco, Windows 7.

Pero' vorrei avviare di default, la mint 19.3 con kernel 4.15.0-115.

Le prime 2 immagini allegate mostrano i menuentry del grub, e la terza il submenu della mint 19.3.

Il file etc/default/grub della mint 20 riporta:
GRUB_DEFAULT="1>Linux Mint 19.3 MATE, con Linux 4.15.0-115-generic"
GRUB_TIMEOUT_STYLE=hidden
GRUB_TIMEOUT=7
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
GRUB_CMDLINE_LINUX_DEFAULT="quiet splash"
GRUB_CMDLINE_LINUX=""

Pero' si avvia lam Mint 19.3 con kernel 5.4.0-45 e questo anche se setto GRUB_DEFAULT="1>2".

E' un'inezia, direte, ma vorrei capire perchè.

[dante5351]

Quando la Mint 19 aggiorna i kernel, da' sudo update-grub e aggiorna il grub sul disco (nel mio caso sdc).

Per tornare ad avviare la mint 19 col kernel prescelto (quello vecchio) devo modificare /etc/default/grub della mint 19.

Quindi devo fare  attenzione alle nuove installazioni di kernel di qualsiasi distro linux, perchè ogni volta bisogna "riaggiustare" il grub

[dxgiusti]

con più distribuzioni linux installate, ad ogni aggiornamento di kernel, bisogna tassativamente dare l'update-grub alla distribuzione che gestisce l'avvio.
rammento che grub-customizer offre la possibilità di impostare come predefinito un tipo di kernel e mantenere tale scelta anche dopo gli aggiornamenti.

[dante5351]

Benritrovato dxgiusti

Prima di questa discussione non pensavo che l'installazione di un kernel su una distro secondaria (Mint 19.3) andasse a modificare il grub pilotato dalla distro primaria (Mint 20).Ora lo so, ed agisco di conseguenza.

A proposito di grub customizer,
https://forums.linuxmint.com/viewtopic.php?t=261910
https://easylinuxtipsproject.blogspot.co...mizer.html

Aggiungo che grub customizer non è  presente nei repositories della Mint 20, pur stando in quelli di Ubuntu 20.94

[dxgiusti]

sul fatto di usarlo, io lo uso da sempre. non faccio modifiche particolari, solo ordine dei sistemi, sistema predefinito, tempo attesa.
per modificare immagini uso altro come per editare il grub.

[dante5351]

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!!