Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
Ciao Marco, grazie per il tuo messaggio. Forse io sono debianizzato per sempre, poiché non mi trovo d'accordo con la tua idea. La comprendo, però credo che perda di vista qual è l'obiettivo ultimo del software libero. Debian, GNU/Linux e il software libero non devono competere con Microsoft e Windows: il loro scopo è di fornire un'alternativa per un mondo diverso. Alcuni meccanismi, a cui purtroppo siamo assuefatti, non potranno mai essere replicati col software libero e bene che sia così, perché vorrebbe dire inseguire un'ideologia aliena a quella della condivisione e della cooperazione che è alla base di GNU. Sebbene ormai tanti videogiochi siano disponibili pure per GNU/Linux, anche titoli commerciali famosi e proprietari, non è questo il futuro che m'interessa, poiché il mondo dei videogiochi è zeppo di trappole per abusare delle persone, come il DRM o la progettazione di sistemi che creano dipendenze analoghe a quelle del gioco d'azzardo. Per carità, i videogiochi non sono il male, ma fanno parte di un ecosistema fortemente competitivo e capitalista, che non ha il minimo interesse ad abbracciare la filosofia della libertà digitale e i suoi diritti. Lo stesso vale per tutti quei programmi "insostituibili" che per certi versi non verranno mai replicati in toto su GNU/Linux o BSD. Amen, anzi meglio! Inventeremo un altro modo, magari più semplice, che non abbia bisogno di una struttura aziendale per sopravvivere. Io mi trovo bene con le alternative libere. Facevo il regista scalcinato. Adesso sono uno sviluppatore web a tutto tondo e un sistemista e uso solo software libero per scrivere codice. Nel mio lavoro mi obbligano a usare tecnologie proprietarie, ma prima o poi cambierò e, nel frattempo, tutti gli strumenti che uso sono liberi e il mio sistema operativo è GNU/Linux Debian. Forse è sciocco e potrà sembrare una crociata ideologica. Per dirla con le parole di Edward Snowden al LibrePlanet 2016: «Questa comunità che abbiamo, che stiamo costruendo, che fa così tanto, deve crescere. Non possiamo competere con Apple, non possiamo competere con Google, adesso, per quanto riguarda le risorse. Alla fine ciò che possiamo fare è contare sugli individui e sui loro cuori. Possiamo competere nell'ambito dell'ideologia perché la nostra è migliore.» Non conosco i motivi tecnici dietro la scelta a questo cambiamento di GRUB, ma neanche a me pare un'ottima mossa. Beninteso che pure io consiglio la scelta di un computer dedicato, soprattutto per evitare confronti inutili e per apprezzare al meglio la potenza della differenza radicale del paradigma informatico. Un saluto a tutta lista. -- Matteo Bini
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
On 6/10/23 17:48, Felipe Salvador wrote: Ciao Lista, non condivido questa scelta, non ne comprendo le ragioni se non in un ottica di imbonimento nei confronti del settore ICT. Non tiene conto, secondo me, del fatto che Debian viene usata da molti utenti comuni, girando nei desktop di molte persone. Nulla di non ovviabile, ma prepariamoci ad assistere chi si vedrà sparire un secondo sistema operativo dalla lista dei sistemi iinstallati. tieni conto che su dischi mbr avevi un solo settore di boot, quindi era necessario che grub gestisse il boot di più OS ma ora, con dischi gpt... IMHO hanno le loro ragioni Piviul
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
In data domenica 11 giugno 2023 14:48:28 CEST, Marco Tosti ha scritto: > con Debian nel desktop dopo > l'installazione devo perdere un botto di tempo, Perché non hai letto le note di rilascio dove è tutto spiegato nei dettagli: come prepararsi nel caso di hardware problematico, per esempio - basta(va) una penna usb per caricare i firmware. Comunque ora con l'introduzione dei repository non-free-firmware le cose dovrebbero essere più semplici. > perché non funziona > quasi nulla (Parliamo sopratutto di PC brendizzati), esempio dopo > l'installazione non vede la scheda di rete Wireless, Leggendo le note di rilascio 9 volte su 10 questo problema si risolve prima di finire l'installazione. > per farla partire > ed avere un minimo di software che NON sia da riga di comando (molto > importante), ho dovuto ricorrere ad APT, Ecchessaràmmai, perfino windows ha introdotto la powershell In ogni caso, se si installa senza essere sicuri di avere accesso alla rete bisogna scaricare la prima iso completa non la netinstall. > per non dire della > configurazione dei restanti driver, devi attivare i repo non free > ecc..., Tutte cose che, leggendo le note di rilascio (aka istruzioni) possono essere risolte al primo riavvio. Non ci vuole una laurea in fisica. Se poi tu preferisci mint con le sue configurazioni semiautomatiche non capisco cosa ci fai qui. > con Windows tutto questo non esiste. Davvero, sembra che tu non abbia mai installato windows ciao -- Cosmo
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
> Il giorno 11 giu 2023, alle ore 16:10, Felipe Salvador > ha scritto: > > On Sun, Jun 11, 2023 at 04:21:15AM +0200, gerlos wrote: > >> Per queste ragioni, di solito sconsiglio il dual boot ai novellini che >> vogliono "passare a Linux". Penso sia molto più facile avere una >> macchina dedicata a Debian (anche trashware[1] recuperato da amici e >> parenti), da affiancare alla macchina attuale basata su Windows: se >> qualcosa va storto, prendi la macchina Windows e fai una ricerca su >> Internet su come risolvere. > > Allora avere una macchina dedicata penso sia sempre il massimo, ma > fuggo dal concetto di 'novellino' e di 'trashware', preferisco parlare > di persone che vogliono approcciarsi a GNU/Linux e 'computer datati, > dove Windows, per scelte politiche precise, non gira più > decentemente'. > > Io ho sofferto parecchio i primi tempi, avevo un Winmodem che non > andava proprio col pinguino e usavo XOSL per fare dual boot con > Windows. Il dual boot, per come la vedo, se uno lo trova utile lo può > usare, ma qui comunque non volevo parlare di questo, non hanno deciso > di impedirlo o di abolirlo. Guarda, il mio consiglio ai principianti di usare PC "di recupero” per cominciare è proprio per incoraggiare le persone a sperimentare rischiando il minimo, non tanto per incoraggiare l’uso di hardware obsoleto (anche se si potrebbero fare considerazioni di natura ecologista in merito). Ormai Debian, Ubuntu, Mint, Fedora, vanno tutti bene su PC prodotti negli ultimi 10 anni. Dal momento che quasi tutti conosciamo parenti, amici o colleghi che hanno “vecchie" macchine inutilizzate, che sarebbero perfetti per questi primi esperimenti, questa potrebbe essere un’ottima opportunità per iniziare con un investimento minimo di denaro, tempo ed energie, perché non si deve combattere con le complicazioni del dual boot, perché non si deve capire subito cosa sono i file system e perché Windows non è in grado di leggere i file salvati da Linux, e cose del genere. Il single boot come opzione predefinita mi sembra la scelta preferibile nella maggior parte dei casi. Lunga vita e prosperità, Gerlos
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
> Il giorno 11 giu 2023, alle ore 14:48, Marco Tosti > ha scritto: > > Be, ma allora in cosa si deve differenziare Debian! Debian deve offrire un > sistema più affidabile di Windows (è già così), che richiede meno risorse di > Windows (è già cosi), che sostituisce perfettamente Windows (ci dobbiamo > lavorare) > ma il tutto senza sborsare una lira. > Questo forse potrebbe convincere molti utenti ad usare GNU Linux Debian, > anche se tutti sanno che free non significa gratuito, gratuito ed open source > sono due concetti molto differenti. La premessa che si debba poter usare Debian o GNU+Linux in generale senza spendere una lira la vedo inefficace e, forse, dannosa. E gli anni di campagne scarsamente efficaci che facevano leva sulla gratuità penso che lo dimostrino. Innanzi tutto, prendere un PC a caso, sostituire Windows con Debian e aspettarsi che tutto funzioni è utopistico. Non va così con MacOS (devi comprare macchine Apple per usare il sistema di Apple), e paradossalmente non va così neanche con Windows (come sa chiunque abbia provato ad assemblarsi un PC senza far attenzione ai componenti scelti). Non nego che sia meraviglioso che sia possibile installare GNU+Linux su quasi qualsiasi sistema (con più o meno problemi), ma l’esperienza migliore la fai comprando un computer con GNU+Linux preinstallato, e comprare un PC con Linux preinstallato è il modo più semplice ed efficace per contribuire allo sviluppo del sistema. E poi ormai non mancano le opportunità: Dell, Lenovo, Tuxedo, Clevo, System 76, Slimbook, Entroware, l’elenco di produttori è ormai lunghissimo. E, tornando in tema, se Linux è l’unico kernel installato su quella macchina, non ti serve che grub esegua os-prober. ;-) saluti, gerlos
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
On Sun, Jun 11, 2023 at 04:21:15AM +0200, gerlos wrote: > Capisco il (potenziale) disagio per chi ha una sola macchina ed è > passato da poco a Debian impostando il dual boot, ma ho l'impressione > che Debian e GNU+Linux in generale sia maturo abbastanza per essere il > principale, anzi l'unico sistema operativo di un PC. Condivido questo pensiero, parere mio, se lo si vuole è matura già da molti anni. Si tratta appunto di capire quanto una persona sia disposta a conoscere nuove cose. > Inoltre sappiamo tutti che di tanto in tanto il dual boot si "rompe", > un po' per colpa di Windows, un po' per colpa dell'utente, che > rimettere a posto le cose non è banale. E non è banale neanche > scambiare file tra Windows e Debian quando sono sulla stessa macchina. Meh, sì rompe sì, ma rimane una opzione per chi la valuta come tale. Windows non da questa possibilità, quando lo installi si prende tutto e non considera nulla, un po arrogante trovo. > Per queste ragioni, di solito sconsiglio il dual boot ai novellini che > vogliono "passare a Linux". Penso sia molto più facile avere una > macchina dedicata a Debian (anche trashware[1] recuperato da amici e > parenti), da affiancare alla macchina attuale basata su Windows: se > qualcosa va storto, prendi la macchina Windows e fai una ricerca su > Internet su come risolvere. Allora avere una macchina dedicata penso sia sempre il massimo, ma fuggo dal concetto di 'novellino' e di 'trashware', preferisco parlare di persone che vogliono approcciarsi a GNU/Linux e 'computer datati, dove Windows, per scelte politiche precise, non gira più decentemente'. Io ho sofferto parecchio i primi tempi, avevo un Winmodem che non andava proprio col pinguino e usavo XOSL per fare dual boot con Windows. Il dual boot, per come la vedo, se uno lo trova utile lo può usare, ma qui comunque non volevo parlare di questo, non hanno deciso di impedirlo o di abolirlo. > Il dual boot lo lascerei a chi ha esperienza o non ha altra scelta che > installare entrambi i sistemi sulla stessa macchina. > > E a chi si sente pronto a lasciare definitivamente Windows raccomando > sempre di comprare PC con GNU+Linux preinstallato, così come farebbe > se passasse da Windows a Mac. Evita problemi di compatibilità > hardware, e aiuta l'economia del software libero. ;-) Mi pare giusto > Lunga vita e prosperità, > > Gerlos > > > [1]: Cominciare con il trashware imho incoraggia la sperimentazione e > aiuta anche a coltivare le attese: "pensa, se Debian va così bene su > PC di così tanti anni fa, quanto andrà bene su un PC nuovo?!?!?" On Sun, Jun 11, 2023 at 02:48:28PM +0200, Marco Tosti wrote: > Ciao a tutti è da un po che seguendo questa lista, la mia esperienza > mi di dice che la scelta del boot unico non sia proprio la migliore, > ma solo un problema in più. Provo a spiegare il perché. Debian è di > fatto un sistema ottimo, il migliore? Forse... dipende... dipende > dall'utilizzo che vuoi fare del tuo PC, portatile o fisso che sia. Non > sono proprio fresco in merito a questo argomento (mondo Linux), tanto > per farvi capire la mia linea temporale, la prima distribuzione che ho > installato era una Slackware versione non ricordo, ma da qualche parte > ho ancora il cofanetto dei CD copertina verde, che andavano di moda > all'ora. Della mia esperienza con Debian e con Linux in generale posso > dire: Sono passato definitivamente a Linux desktop solo in questi > ultimi anni, preso dalla foga ho messo KUbuntu LTS (il progetto KDE mi > piace), bo!!! al primo cambio di release è venuto fuori un casino con > tutte le personalizzazioni, se devo spendere più tempo per sistemare i > problemi del S.O. che per usare i software di Linux non fa al caso > mio, ma di nessuno in generale credo. Sono passato a Mint e devo dire > che in questo momento uso il PC per lavorare e non per correre dietro > ai problemi, Windows solo emulato, non lo dimentichiamo che gran parte > del mondo users gira su Windows, e non puoi farne a meno sopratutto se > lavori su AD (tralasciamo il gaming per questioni di tempo, inoltre > sarebbe un capitolo a se visto il volume di affari che muove). Perché > no Debian ma Mint nel mio desktop, che tra l'altro uso in quasi tutti > server (Debian nei server), be... è presto detto, con Debian nel > desktop dopo l'installazione devo perdere un botto di tempo, perché > non funziona quasi nulla (Parliamo sopratutto di PC brendizzati), > esempio dopo l'installazione non vede la scheda di rete Wireless, per > farla partire ed avere un minimo di software che NON sia da riga di > comando (molto importante), ho dovuto ricorrere ad APT, per non dire > della configurazione dei restanti driver, devi attivare i repo non > free ecc..., con Windows tutto questo non esiste. Allora ... Se Debian > vuol essere, non solo il sistema di riferimento nel mondo delle distro > Linux, ma il sistema concorrente di Microsoft, cioè quello che > installo se non voglio mettere Windows, deve cambiare un po di logiche >
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
On Sun, 11 Jun 2023, Marco Tosti wrote: per non dire della configurazione dei restanti driver, devi attivare i repo non free ecc..., con Windows tutto questo non esiste. con windows, di default, i repositories sono non-free, che siano free è una eccezione. quiondi nonb cambia nulla. -- Leonardo Boselli Firenze, Toscana, Europa http://i.trail.it tel:+393287329225
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
Ciao a tutti è da un po che seguendo questa lista, la mia esperienza mi di dice che la scelta del boot unico non sia proprio la migliore, ma solo un problema in più. Provo a spiegare il perché. Debian è di fatto un sistema ottimo, il migliore? Forse... dipende... dipende dall'utilizzo che vuoi fare del tuo PC, portatile o fisso che sia. Non sono proprio fresco in merito a questo argomento (mondo Linux), tanto per farvi capire la mia linea temporale, la prima distribuzione che ho installato era una Slackware versione non ricordo, ma da qualche parte ho ancora il cofanetto dei CD copertina verde, che andavano di moda all'ora. Della mia esperienza con Debian e con Linux in generale posso dire: Sono passato definitivamente a Linux desktop solo in questi ultimi anni, preso dalla foga ho messo KUbuntu LTS (il progetto KDE mi piace), bo!!! al primo cambio di release è venuto fuori un casino con tutte le personalizzazioni, se devo spendere più tempo per sistemare i problemi del S.O. che per usare i software di Linux non fa al caso mio, ma di nessuno in generale credo. Sono passato a Mint e devo dire che in questo momento uso il PC per lavorare e non per correre dietro ai problemi, Windows solo emulato, non lo dimentichiamo che gran parte del mondo users gira su Windows, e non puoi farne a meno sopratutto se lavori su AD (tralasciamo il gaming per questioni di tempo, inoltre sarebbe un capitolo a se visto il volume di affari che muove). Perché no Debian ma Mint nel mio desktop, che tra l'altro uso in quasi tutti server (Debian nei server), be... è presto detto, con Debian nel desktop dopo l'installazione devo perdere un botto di tempo, perché non funziona quasi nulla (Parliamo sopratutto di PC brendizzati), esempio dopo l'installazione non vede la scheda di rete Wireless, per farla partire ed avere un minimo di software che NON sia da riga di comando (molto importante), ho dovuto ricorrere ad APT, per non dire della configurazione dei restanti driver, devi attivare i repo non free ecc..., con Windows tutto questo non esiste. Allora ... Se Debian vuol essere, non solo il sistema di riferimento nel mondo delle distro Linux, ma il sistema concorrente di Microsoft, cioè quello che installo se non voglio mettere Windows, deve cambiare un po di logiche interne, e questa scelta della gestione del boot non sta andando in questa direzione, perciò lasciamo a chi ha le quote di mercato (Windows) e se lo può permettere, di non considerare gli altri sistemi operativi. Be, ma allora in cosa si deve differenziare Debian! Debian deve offrire un sistema più affidabile di Windows (è già così), che richiede meno risorse di Windows (è già cosi), che sostituisce perfettamente Windows (ci dobbiamo lavorare) ma il tutto senza sborsare una lira. Questo forse potrebbe convincere molti utenti ad usare GNU Linux Debian, anche se tutti sanno che free non significa gratuito, gratuito ed open source sono due concetti molto differenti. Perdonatemi se mi sono dilungato ma l'argomento mi appassiona, un saluto a tutti e... Debianizzati si è per sempre o per nulla. M.T. Il 11/06/23 04:21, gerlos ha scritto: Il 10/06/23 17:48, Felipe Salvador ha scritto: Ciao Lista, non condivido questa scelta, non ne comprendo le ragioni se non in un ottica di imbonimento nei confronti del settore ICT. Non tiene conto, secondo me, del fatto che Debian viene usata da molti utenti comuni, girando nei desktop di molte persone. Nulla di non ovviabile, ma prepariamoci ad assistere chi si vedrà sparire un secondo sistema operativo dalla lista dei sistemi iinstallati. Capisco il (potenziale) disagio per chi ha una sola macchina ed è passato da poco a Debian impostando il dual boot, ma ho l'impressione che Debian e GNU+Linux in generale sia maturo abbastanza per essere il principale, anzi l'unico sistema operativo di un PC. Inoltre sappiamo tutti che di tanto in tanto il dual boot si "rompe", un po' per colpa di Windows, un po' per colpa dell'utente, che rimettere a posto le cose non è banale. E non è banale neanche scambiare file tra Windows e Debian quando sono sulla stessa macchina. Per queste ragioni, di solito sconsiglio il dual boot ai novellini che vogliono "passare a Linux". Penso sia molto più facile avere una macchina dedicata a Debian (anche trashware[1] recuperato da amici e parenti), da affiancare alla macchina attuale basata su Windows: se qualcosa va storto, prendi la macchina Windows e fai una ricerca su Internet su come risolvere. Il dual boot lo lascerei a chi ha esperienza o non ha altra scelta che installare entrambi i sistemi sulla stessa macchina. E a chi si sente pronto a lasciare definitivamente Windows raccomando sempre di comprare PC con GNU+Linux preinstallato, così come farebbe se passasse da Windows a Mac. Evita problemi di compatibilità hardware, e aiuta l'economia del software libero. ;-) Lunga vita e prosperità, Gerlos [1]: Cominciare con il trashware imho
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
Il 10/06/23 17:48, Felipe Salvador ha scritto: Ciao Lista, non condivido questa scelta, non ne comprendo le ragioni se non in un ottica di imbonimento nei confronti del settore ICT. Non tiene conto, secondo me, del fatto che Debian viene usata da molti utenti comuni, girando nei desktop di molte persone. Nulla di non ovviabile, ma prepariamoci ad assistere chi si vedrà sparire un secondo sistema operativo dalla lista dei sistemi iinstallati. Capisco il (potenziale) disagio per chi ha una sola macchina ed è passato da poco a Debian impostando il dual boot, ma ho l'impressione che Debian e GNU+Linux in generale sia maturo abbastanza per essere il principale, anzi l'unico sistema operativo di un PC. Inoltre sappiamo tutti che di tanto in tanto il dual boot si "rompe", un po' per colpa di Windows, un po' per colpa dell'utente, che rimettere a posto le cose non è banale. E non è banale neanche scambiare file tra Windows e Debian quando sono sulla stessa macchina. Per queste ragioni, di solito sconsiglio il dual boot ai novellini che vogliono "passare a Linux". Penso sia molto più facile avere una macchina dedicata a Debian (anche trashware[1] recuperato da amici e parenti), da affiancare alla macchina attuale basata su Windows: se qualcosa va storto, prendi la macchina Windows e fai una ricerca su Internet su come risolvere. Il dual boot lo lascerei a chi ha esperienza o non ha altra scelta che installare entrambi i sistemi sulla stessa macchina. E a chi si sente pronto a lasciare definitivamente Windows raccomando sempre di comprare PC con GNU+Linux preinstallato, così come farebbe se passasse da Windows a Mac. Evita problemi di compatibilità hardware, e aiuta l'economia del software libero. ;-) Lunga vita e prosperità, Gerlos [1]: Cominciare con il trashware imho incoraggia la sperimentazione e aiuta anche a coltivare le attese: "pensa, se Debian va così bene su PC di così tanti anni fa, quanto andrà bene su un PC nuovo?!?!?"
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
Pensato la stessa cosa. Il sab 10 giu 2023, 18:50 Sergio Vi ha scritto: > Su altri sistemi Linux ( p.rs. Arch) e gia disabilitato di default da > tempo, ma puoi ovviare velocemente apportando proprio la modifica che hai > postato. Personalmente la uso da un po di tempo. > > Il Sab 10 Giu 2023, 17:48 Felipe Salvador ha > scritto: > >> Ciao Lista, >> non condivido questa scelta, non ne comprendo le ragioni se non in un >> ottica di imbonimento nei confronti del settore ICT. Non tiene conto, >> secondo me, del fatto che Debian viene usata da molti utenti comuni, >> girando nei desktop di molte persone. >> >> Nulla di non ovviabile, ma prepariamoci ad assistere chi si vedrà >> sparire un secondo sistema operativo dalla lista dei sistemi iinstallati. >> >> >> "For a long time, grub has used the os-prober packageto detect other >> operating systems installed on a computer so that it can add them to >> the boot menu. Unfortunately, that can be problematic in certain cases >> (e.g. where guest virtual machines are running), so this has now been >> disabled by default in the latest upstream release. >> >> If you are using GRUB to boot your system and want to continue to have >> other operating systems listed on the boot menu, you can change >> this. Either edit the file /etc/default/grub, ensure you have the >> setting GRUB_DISABLE_OS_PROBER=false and re-run update-grub, or run >> >> dpkg-reconfigure >> >> to change this and other GRUB settings in a more user-friendly way." >> >> >> >> https://www.debian.org/releases/bookworm/amd64/release-notes/ch-information.en.html#grub-os-prober >> >> >> Saluti >> -- >> >> Felipe Salvador >> >>
Re: Rilascio Debian 12 - 5.1.10. GRUB no longer runs os-prober by default
Su altri sistemi Linux ( p.rs. Arch) e gia disabilitato di default da tempo, ma puoi ovviare velocemente apportando proprio la modifica che hai postato. Personalmente la uso da un po di tempo. Il Sab 10 Giu 2023, 17:48 Felipe Salvador ha scritto: > Ciao Lista, > non condivido questa scelta, non ne comprendo le ragioni se non in un > ottica di imbonimento nei confronti del settore ICT. Non tiene conto, > secondo me, del fatto che Debian viene usata da molti utenti comuni, > girando nei desktop di molte persone. > > Nulla di non ovviabile, ma prepariamoci ad assistere chi si vedrà > sparire un secondo sistema operativo dalla lista dei sistemi iinstallati. > > > "For a long time, grub has used the os-prober packageto detect other > operating systems installed on a computer so that it can add them to > the boot menu. Unfortunately, that can be problematic in certain cases > (e.g. where guest virtual machines are running), so this has now been > disabled by default in the latest upstream release. > > If you are using GRUB to boot your system and want to continue to have > other operating systems listed on the boot menu, you can change > this. Either edit the file /etc/default/grub, ensure you have the > setting GRUB_DISABLE_OS_PROBER=false and re-run update-grub, or run > > dpkg-reconfigure > > to change this and other GRUB settings in a more user-friendly way." > > > > https://www.debian.org/releases/bookworm/amd64/release-notes/ch-information.en.html#grub-os-prober > > > Saluti > -- > > Felipe Salvador > >
