Re: quotation marks [was Re: TUTORIAL.de updated]

[Alan Mackenzie]

Hello, Paul.

On Sun, Jan 22, 2012 at 02:54:47AM -0800, Paul Eggert wrote:
> On 01/22/2012 01:36 AM, Stephen J. Turnbull wrote:
> > I don't have it on either my Gentoo system or my Debian(!) system

> It's from a Debian package, introduced in lenny (Debian GNU/Linux 5.0),
> which was released about three years ago.  Here's a URL:

> http://packages.debian.org/squeeze/console-setup

> It's a GPLed shell script and is not that complicated -- it's a front
> end to help out people who don't want to understand Linux consoles
> (not that I blame them!).

> If you don't have setupcon, you can try this recipe instead, as its
> last two commands are what setupcon does, as far as fonts go:

>   export LC_ALL=en_US.utf8
>   printf '\033%%G'
>   setfont -v /usr/share/consolefonts/Uni2-Fixed16.psf.gz



> On 01/22/2012 02:22 AM, Alan Mackenzie wrote:
> > Maybe you could give a run through of a hypothetical sequence of steps a
> > tty user would go through to find out how to set up his console for this

> Do you have setfont?  If so, do the above commands work?
> I'll attach a copy of the psf.gz file.  (You can get its source from
> the above URL.)

Yes, the setfont command above did indeed work.  Presumably there will
be several such fonts corresponding with the different ascii/Latin-1
fonts.

For some reason, I didn't have that font in my /usr/share/consolefonts.

> > it will be very strenuous for a normal tty user to get set up
> > to see these curly quotes.

> OK, but we're not talking about normal tty users.  We're talking about the
> three Emacs developers who use Linux consoles to develop.  If we can
> get a recipe working for them, then we've handled that problem.

Are we?  I think I've lost track of this discussion.  I thought we were
talking about putting curly quotes into doc strings, etc, where ordinary
users are going to have to deal with them.

-- 
Alan Mackenzie (Nuremberg, Germany).