[gentoo-user] Documentation of and utilities to manipulate console fonts?

2015-06-03 Thread Alan Mackenzie
Hello, Gentoo. Recently, in another software project, somebody wants to replace the ASCII quoting characters ", `, ' with curly unicode quoting characters. I'm not in favour of this, but I'll probably be losing the argument. So I need a font which can display these characters. Not an X-windows G

Re: [gentoo-user] Documentation of and utilities to manipulate console fonts?

2015-06-03 Thread Alan Mackenzie
Hello, again. On Wed, Jun 03, 2015 at 03:40:17PM +, Alan Mackenzie wrote: > Hello, Gentoo. > Recently, in another software project, somebody wants to replace the > ASCII quoting characters ", `, ' with curly unicode quoting characters. > I'm not in favour of this, but I'll probably be losing