Pagina 2 di 2
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: venerdì 27 dicembre 2019, 16:18
da trekfan1
Confermo quanto scritto da et4beta: update-grub e update-grub2 sono la stessa cosa:
https://www.lffl.org/2019/12/guida-aggi ... linux.html
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: venerdì 27 dicembre 2019, 18:02
da wilecoyote
) Salve, boh, avrò messo le zampe solo in Bionic danneggiati, comunque senza il '2' non mi funziona mai.
et4beta ha scritto: dalla versione 16.04 di Ubuntu che modifico il file "05_debian_theme" come ho indicato nel mio post e mai mi è successo che ad un upgrade del pacchetto grub-pc mi sia stato riportato alla versione di default,
Lo credo bene, è contenuto nel pacchetto
grub-common.
Quanto al non aggiornare è semplice da spiegare, durante la configurazione del aggiornamento di
grub-common, appare una finestra che chiede se reinstallare i file di configurazione di
Grub predefiniti o mantenere quelli modificati, se entro tot tempo non rispondi mantiene i modificati.
:: Ciao
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: venerdì 27 dicembre 2019, 18:23
da et4beta
Per favore vediamo di capirci, ho scritto grub-pc per intendere un aggiornamento dei pacchetti del grub, tanto quando arriva un aggiornamento del "grub-pc" vi è anche quello del pacchetto "grub-common". Inoltre durante gli aggiornamenti del grub in ognuna delle versioni che ho, la finestra che dici non mi è mai apparsa(preciso comunque che in questi casi io opto sempre per installare i nuovi) e, ripeto, dalla sua installazione il file 05_debian .... non è mai stato aggiornato, la sua data di creazione e ultima modifica(la mia) confermano.
Abbiamo degli Ubuntu che stranamente si comportano diversamente.
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: lunedì 30 dicembre 2019, 15:21
da ducarpit
Una domanda interessante che forse qualcuno di voi sa rispondere legata sempre alla modifica delle entry nel menù del GRUB é:
come mai dopo aver modificato anche solo mezza lettera di una delle entry, il colore di sfondo del menù passa dal classico viola a blu?
Io ad esempio non ho modificato alcuna opzione per quello che riguarda l'aspetto, non saprei neanche come si fa....
Forse qualcuno lo ha già capito per esperienza passata?
A presto
Christian
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: lunedì 30 dicembre 2019, 17:29
da et4beta
Tutto ciò che riguarda i colori del menu è regolato dal file "etc/grub.d/05_debian_theme".
Evidentemente la pur piccola variazione da te operata sul menu del grub, ma ricorrere le condizioni che portano alla esecuzione della riga 47 del file sopradetto ed il menu del grub appare con quei colori. In pratica devi andare vedere le istruzioni impartite dopo i comandi "Set" e "if".
Anche la procedura che ti avevo postato per inserire un'immagine di sfondo e nel contempo i diversi colori del testo, è valida solo se c'è l'immagine di sfondo altrimenti i colori del testo sono quelli di default.
Se la cosa ti interessa devi leggere e capire le instruzioni contenute nel file anzidetto e provare le modifiche. Salvati comunque sempre una copia dell'originale.
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: lunedì 30 dicembre 2019, 20:13
da ducarpit
et4beta [url=https://forum.ubuntu-it.org/viewtopic.php?p=5169695#p5169695][img]https://forum.ubuntu-it.org/images/icons/icona-cita.gif[/img][/url] ha scritto:Tutto ciò che riguarda i colori del menu è regolato dal file "etc/grub.d/05_debian_theme".
Evidentemente la pur piccola variazione da te operata sul menu del grub, ma ricorrere le condizioni che portano alla esecuzione della riga 47 del file sopradetto ed il menu del grub appare con quei colori. In pratica devi andare vedere le istruzioni impartite dopo i comandi "Set" e "if".
Anche la procedura che ti avevo postato per inserire un'immagine di sfondo e nel contempo i diversi colori del testo, è valida solo se c'è l'immagine di sfondo altrimenti i colori del testo sono quelli di default.
Se la cosa ti interessa devi leggere e capire le instruzioni contenute nel file anzidetto e provare le modifiche. Salvati comunque sempre una copia dell'originale.
Ciao, ho analizzato il file che mi dicevi, confermo che non ho apportato modifiche a quel file comunque. Sembrerebbe che la parte incriminata proprio come mi hai detto te sia quella racchiuda in questa funzione:
Codice: Seleziona tutto
et_default_theme(){
case $GRUB_DISTRIBUTOR in
Tanglu|Ubuntu|Kubuntu)
# Set a monochromatic theme for Tanglu/Ubuntu.
echo "${1}set menu_color_normal=white/black"
echo "${1}set menu_color_highlight=black/light-gray"
if [ -e /usr/share/plymouth/themes/default.grub ]; then
sed "s/^/${1}/" /usr/share/plymouth/themes/default.grub
fi
# For plymouth backward compatiblity. Can be removed
# after xenial.
if [ -e /lib/plymouth/themes/default.grub ]; then
sed "s/^/${1}/" /lib/plymouth/themes/default.grub
fi
;;
*)
# Set the traditional Debian blue theme.
echo "${1}set menu_color_normal=cyan/blue"
echo "${1}set menu_color_highlight=white/blue"
;;
esac
}
E' come se la variabile
GRUB_DISTRIBUTOR nel mio caso sia valorizzata adesso con un valore differente da
Tanglu|Ubuntu|Kubuntu.
Il fatto è che non riesco a capire chi setti quella variabile.....
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: lunedì 30 dicembre 2019, 20:16
da ducarpit
Capito,
io ho modificato il file /etc/default/grub cambiando la riga
Codice: Seleziona tutto
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
in
Codice: Seleziona tutto
GRUB_DISTRIBUTOR=`lsb_release -d -s 2> /dev/null || echo Debian`
Nel primo caso il comendo restituiva come risultato "Ubuntu" invece nel secondo caso "Ubuntu 19.10", quindi in quel case entra nella casistica con la variante blu....
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: lunedì 30 dicembre 2019, 22:25
da et4beta
Hai visto?
Leggere e cercare di capire.
Con la stringa "Ubuntu" hai la schermata classica, invece diversa da Ubuntu assume i colori di Debian.
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: martedì 31 dicembre 2019, 12:42
da ducarpit
Esatto, ora ci sarebbe da capire come è conveniente modificare il file
05_debian_theme, se come consigliato da te sopra oppure andando a taroccare l'IF in maniera tale che cada sempre nella prima casistica...
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: mercoledì 1 gennaio 2020, 15:06
da wilecoyote
) Salve, per capire il significato di questa stringa:
Codice: Seleziona tutto
GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian`
Ti basta dare nel terminale i comandi:
Lo stesso vale per
echo, sostituendo con
echo il
lsb_release, e per qualsiasi altro comando che vuoi
pipare ORare (
||) nella stringa.
:: Ciao
EDIT: a quanto pare il (
||) sono
2 barrette e non
1 barretta, quindi come indicato da @UbuNuovo non è una pipata ma una ORata.
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: mercoledì 1 gennaio 2020, 16:35
da UbuNuovo
Quello non è un pipe "
|" è un OR "
||"
In pratica: se il comando
lsb_release -i -s esce con falso, allora viene stampato "
Debian"
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: mercoledì 1 gennaio 2020, 17:21
da wilecoyote
) Salve, grazie dell'info @UbuNuovo, lo sempre vista come una barretta singola, ed il copia incolla non aiuta.
Dannata vista malandata.
Integro il post.
:: Ciao
Re: [Risolto] Modificare entry GRUB via CLI...
Inviato: giovedì 2 gennaio 2020, 12:22
da ducarpit
Si esatto, corretto quello che dite....però avendo modificato quel comando per far restituire "Ubuntu 19.10" invece di "Ubuntu", siccessivamente nello script 05_debian_theme fa andare il case nella casistica con colorazione blu come descritto sopra....era quella la finalità della domanda per capire come ottenere i colori di default pur avendo una entry diversa