Hola lista, me gustaría saber si es posible cambiar el tamaño de fuentes en el menú del GRUB2, y si lo es ¿cómo? Muchas gracias... --- .---------------------------------------------------------. | Miguel J. Jiménez | | Sector Público, ISOTROL S.A. | | mjjimenez@isotrol.com | :---------------------------------------------------------: | KeyID 0xFFE63EC6 hkp://pgp.rediris.es:11371 | :---------------------------------------------------------: | Edificio BLUENET, Avda. Isaac Newton nº3, 4ª planta. | | Parque Tecnológico Cartuja '93, 41092 Sevilla (ESP). | | Tlfn: +34 955 036 800 (ext.1805) - Fax: +34 955 036 849 | | http://www.isotrol.com | :---------------------------------------------------------: | UTM ED-50 X:765205.09 Y:4144614.91 Huso: 29 | :---------------------------------------------------------: | "When you tell the thruth you'll never have to remember | | later what you lied about." | | Lwaxana Troi (Star Trek TNG) | '---------------------------------------------------------'
Attachment:
signature.asc
Description: PGP signature