Re: GRUB_DEFAULT non funziona

2020-10-28 Per discussione Giancarlo Martini
si è ricordato, dopo aver fatto la modifica, che non avevo scelto la prima voce del menu, ma la seconda, quella che mi permette di scegliere quale kernel usare, ma non il kernel scelto. Devo approfondire meglio la documentazione dei sub menu, appena ho tempo faccio qualche prova. Il giorno mar 27

Re: GRUB_DEFAULT non funziona

2020-10-28 Per discussione Giancarlo Martini
yes, ho sempre modificato /etc/default/grub e poi dato update-grub non credo di aver usato una efi, comunque ho dato fdisk -l /dev/sda e mi da: Disklabel type: dos credo di non stare usando efi, probabilmente quando l'ho installato ho rinunciato all'uefi. Il giorno mar 27 ott 2020 alle ore

Re: GRUB_DEFAULT non funziona

2020-10-28 Per discussione Giancarlo Martini
pensavo di farlo ma più in qua quando potrò metterci la testa con calma. Il giorno mar 27 ott 2020 alle ore 19:53 Davide Prina < davide.pr...@gmail.com> ha scritto: > On 27/10/20 14:41, Giancarlo Martini wrote: > > ho installato il kernel 5.9 che ha dei problemi con il mio > > hardware > > che

Re: GRUB_DEFAULT non funziona

2020-10-27 Per discussione Davide Prina
On 27/10/20 14:41, Giancarlo Martini wrote: ho installato il kernel 5.9 che ha dei problemi con il mio hardware che tipo di problemi? Magari sono risolvibili... Inoltre se hai problemi può essere utile verificare se qualcuno li ha già segnalati (bug report) e qui potresti trovare dei

Re: GRUB_DEFAULT non funziona

2020-10-27 Per discussione Sabrewolf
Il 27/10/20 16:27, Giancarlo Martini ha scritto: niente, anche con saved, a questo punto proprio non legge GRUB_DEFAULT Ma infatti il bootloader non legge /etc/default/grub ma /boot/grub.cfg che a sua volta è generato da update-grub. Hai eseguito update-grub dopo aver modificato

Re: GRUB_DEFAULT non funziona

2020-10-27 Per discussione Giornale di Sistema
Il 27/10/20 14:41, Giancarlo Martini ha scritto: Hello lista, ho installato il kernel 5.9 che ha dei problemi con il mio hardware, orbene, finchè quei problemi non sono risolti devo partire con il 5.8. Pensavo di modificare il file /etc/default/grub, la voce GRUB_DEFAULT=2 e dopo dare

Re: GRUB_DEFAULT non funziona

2020-10-27 Per discussione valerio
Il 27/10/20 14:41, Giancarlo Martini ha scritto: Hello lista, ho installato il kernel 5.9 che ha dei problemi con il mio hardware, orbene, finchè quei problemi non sono risolti devo partire con il 5.8. Pensavo di modificare il file /etc/default/grub, la voce GRUB_DEFAULT=2 e dopo dare

Re: GRUB_DEFAULT non funziona

2020-10-27 Per discussione Giancarlo Martini
niente, anche con saved, a questo punto proprio non legge GRUB_DEFAULT @peterpunk ne ho 4 di kernel, grazie lo stesso ho fatto un rgrep GRUB_DEFAULT su /etc/default e ho visto che in /etc/default/grub.ucf-dist c'è un altra var GRUB_DEFAULT, ma niente, anche cambiando quella non cambia il

Re: GRUB_DEFAULT non funziona

2020-10-27 Per discussione peterpunk
On Tue, 27 Oct 2020 14:41:59 +0100 Giancarlo wrote: > Hello lista, ho installato il kernel 5.9 che ha dei problemi con > il mio hardware, orbene, finchè quei problemi non sono risolti > devo partire con il 5.8. > (...) > Non so se può servire a qualcosa l'osservazione che se hai solo due kernel

Re: GRUB_DEFAULT non funziona

2020-10-27 Per discussione Sabrewolf
Il 27/10/20 14:41, Giancarlo Martini ha scritto: Hello lista, ho installato il kernel 5.9 che ha dei problemi con il mio hardware, orbene, finchè quei problemi non sono risolti devo partire con il 5.8. Pensavo di modificare il file /etc/default/grub, la voce GRUB_DEFAULT=2 e dopo dare

GRUB_DEFAULT non funziona

2020-10-27 Per discussione Giancarlo Martini
Hello lista, ho installato il kernel 5.9 che ha dei problemi con il mio hardware, orbene, finchè quei problemi non sono risolti devo partire con il 5.8. Pensavo di modificare il file /etc/default/grub, la voce GRUB_DEFAULT=2 e dopo dare update-grub per fare in modo di non entrare, all'avvio, nelle