Aveți două întrebări distincte aici.
Pentru a modifica dimensiunea fontului consolei:
Se părea că ar putea fi mai implicat, cu cât l-am cercetat mai mult, dar tot ce mi-a trebuit să măresc dimensiunea a fost să editez /etc/default/console-setup.
modificarea sau adăugarea liniei:
FONTSIZE="8x16"
la
FONTSIZE="16x32"
și apoi sudo update-grub
și apoi repornind.
(consultați pagina de manual man console-setup pentru opțiuni acceptabile)
De asemenea, puteți utiliza sudo dpkg-reconfigure console-setup pentru a configura fontul consolei.
Puteți modifica dimensiunea fontului meniului grub cu grub-mkfont
Ghid rapid: dacă știți unde este locația fontului.
sudo grub-mkfont --output=/boot/grub/fonts/Myunifont32.pf2 --size=32 /home/username/Downloads/unifont-14.0.01.ttf
Apoi editați /etc/update/grub adăugând:
GRUB_FONT=/boot/grub/fonts/Myunifont32.pf2
sudo update-grub
Apoi reporniți și modificările dvs. ar trebui să fie prezente.
Informații de fundal/instrucțiuni lungi:
Probabil va trebui să știți unde sunt stocate fonturile, astfel încât să le puteți referi.
Utilizare fc-list pentru asta.
Dacă aveți un font în minte, atunci grep pentru numele fontului respectiv în rezultat. Notă: Folosirea unui font personalizat va fi nevoie de câteva încercări și erori pentru a obține un ecran grub „drăguț”, așa cum sunteți obișnuit. Multe fonturi vor funcționa și vor fi lizibile, dar simbolurile folosite pentru a crea aspectul „grafică” s-ar putea să nu se alinieze sau să fie ceea ce ești obișnuit.
Alergare șiruri de caractere -a /boot/grub/fonts/unicode.pf2 spectacole „Unifont Regular 16”. Nu am avut noroc să găsesc Unifont pe mașina mea, așa că l-am găsit în depozit și sudo apt install unifont. Acest lucru îl va face să apară în fc-list ieșire.
După ce v-ați hotărât ce font doriți să utilizați: (de exemplu, pentru unifont)
fc-list | grep -i unifont
/usr/share/fonts/truetype/unifont/unifont.ttf Unifont:style=Medium
/usr/share/fonts/truetype/unifont/unifont_upper.ttf Unifont Upper:style=Medium
/usr/share/fonts/truetype/unifont/unifont_csur.ttf: Unifont CSUR:style=Medium
Sau dacă l-ai descărcat:
Ar fi în orice folder în care l-ați descărcat: (l-am găsit și eu Aici)
/home/username/Downloads/unifont-14.0.01.ttf
Acum știi unde se află fontul tău, îl poți folosi pentru a crea unul pentru grub și a-l mări:
(Ieșirea [ar trebui] să intre în /boot/grub/fonts director cu propriul nume de fișier personalizat, deci veți avea nevoie de sudo)
sudo grub-mkfont --output=/boot/grub/fonts/Myunifont32.pf2 --size=32 /usr/share/fonts/truetype/unifont/unifont.ttf
Acum va trebui să faceți referire la noul font în fișier /etc/default/grub.
Editați acel fișier (ca sudo) prin oricare dintre mijloacele pe care le utilizați (de ex sudo vim /etc/default/grub)
si adauga linia:
GRUB_FONT=/boot/grub/fonts/Myunifont32.pf2
Salvați fișierul și ieșiți.
Apoi fugi sudo update-grub
...și apoi reporniți și ar trebui să vedeți schimbarea fontului...
În funcție de fontul pe care ați decis să utilizați, poate fi necesar să faceți procesul din nou și din nou pentru a face ajustări.(este nevoie de câteva secunde odată ce obții un ritm). Am încercat să comand rapid procesul făcând un nume comun „MYFONT” în /etc/default/grub și în /boot/grub/fonts doar făcând un link de la MYFONT la fontul real. În acest fel, aș putea să creez doar 10 dintre ele pentru a le testa pe toate simultan și apoi să schimb linkul de fiecare dată când voiam să testez unul nou, fără a fi necesar sudo update-grub... NU A FUNCȚIONAT, chiar și cu linkul care indică un fișier nou, a trebuit sudo update-grub să văd modificările mele... deci ceva de reținut.
Unifont.ttf pare să fie cel mai apropiat și arată bine, dar imediat în ieșirea fc-list puteți vedea „Medium” versus „Regular” în șirurile de ieșire unicode.pf2... Asta îmi spune că nu sunt exact la fel. Cred că fontul original trebuie să fie undeva acolo, dar nu îl găsesc. Dacă dai peste el, postează-l aici. M-am uitat pe o grămadă de site-uri și se pare că nimeni altcineva nu a reușit să-l identifice.
