Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.debian.user > #173614
| From | Brian <ad44@cityscape.co.uk> |
|---|---|
| Newsgroups | linux.debian.user |
| Subject | Re: Increase font size of GRUB menu? |
| Date | 2016-10-19 21:20 +0200 |
| Message-ID | <su4z7-5wI-9@gated-at.bofh.it> (permalink) |
| References | (3 earlier) <stWrU-69-13@gated-at.bofh.it> <stWUV-vm-5@gated-at.bofh.it> <su02w-2rf-125@gated-at.bofh.it> <su1KW-3Hg-19@gated-at.bofh.it> <su3a2-4te-33@gated-at.bofh.it> |
| Organization | linux.* mail to news gateway |
On Wed 19 Oct 2016 at 12:44:16 -0500, Richard Owlett wrote: > On 10/19/2016 11:17 AM, Brian wrote: > > > >Do you really want to overwrite the system's unicode.pf2? > > I my specific use case, I think so. It illustrates why I do not consider my > original post to not quite be a 'XY Problem'. I'm working on optimizing > Debian install to match some personal ideas on the optimal "look and feel" > of a *nix system. Carried to its logical conclusion, what I'm working > towards would be near dividing line between a "Debian Pure Blend" and a > "Debian Derivative". unicode.pf2 is the default font. It will not be used if another .psf file is specified. Let the poor thing live! It is doing no harm and might be needed if the one being used is discarded. -- Brian.
Back to linux.debian.user | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-18 16:00 +0200
Re: Increase font size of GRUB menu? Darac Marjal <mailinglist@darac.org.uk> - 2016-10-18 16:30 +0200
Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-18 17:30 +0200
Re: Increase font size of GRUB menu? <tomas@tuxteam.de> - 2016-10-18 18:30 +0200
Re: Increase font size of GRUB menu? Darac Marjal <mailinglist@darac.org.uk> - 2016-10-18 18:40 +0200
Re: Increase font size of GRUB menu? Anthony Baldwin <baldwinlinguas@gmx.com> - 2016-10-18 21:40 +0200
Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 12:40 +0200
Re: Increase font size of GRUB menu? <tomas@tuxteam.de> - 2016-10-19 13:10 +0200
Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-19 16:30 +0200
Re: Increase font size of GRUB menu? <tomas@tuxteam.de> - 2016-10-19 16:50 +0200
Re: Increase font size of GRUB menu? Hans <hans.ullrich@loop.de> - 2016-10-19 17:00 +0200
Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 18:20 +0200
Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-19 19:50 +0200
Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 21:20 +0200
Re: Increase font size of GRUB menu? Jonathan Dowland <jmtd@debian.org> - 2016-10-19 18:40 +0200
Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-19 20:00 +0200
Re: Increase font size of GRUB menu? Felix Miata <mrmazda@earthlink.net> - 2016-10-19 20:30 +0200
Re: Increase font size of GRUB menu? Brian <ad44@cityscape.co.uk> - 2016-10-19 20:50 +0200
[MY solution] Re: Increase font size of GRUB menu? Richard Owlett <rowlett@cloud85.net> - 2016-10-22 17:40 +0200
csiph-web