[bug #40323] GRUB 2 depends on specific fonts when used with truetype support

2013-10-23 Thread Luke Dashjr
Follow-up Comment #8, bug #40323 (project grub): I'm not sure what you're looking for in a font, but I've grown to like the Droid font family (note: Android *no longer* uses this). ___ Reply to this item at:

[bug #40323] GRUB 2 depends on specific fonts when used with truetype support

2013-10-23 Thread Vladimir Serbinenko
Follow-up Comment #7, bug #40323 (project grub): If djvu font is non-free it has to be replaced. Can you recommend a widely-available free font with the similar characteristics? Having an option to disable themes would also be good. ___ Rep

[bug #40323] GRUB 2 depends on specific fonts when used with truetype support

2013-10-23 Thread Mike GIlbert
Follow-up Comment #6, bug #40323 (project grub): Ok, I have modified the Gentoo ebuild to use system-independent copies of DejaVuSans and unifont. I think it is ok to close this bug. ___ Reply to this item at: