Re: Default character set of the Linux console

Tuomas Heino (tbittih@xgw.fi)
Sun, 28 Dec 1997 18:54:34 +0200 (EET)


On Sun, 28 Dec 1997, teunis wrote:

> On Sat, 27 Dec 1997, Tuomas Heino wrote:
>
> > On Sat, 27 Dec 1997, Pavel Machek wrote:
> >
> > > Hi!
> > >
> > > > Maybe. It isn't as simple as changing the default to user defined map, but
> > > > if you say it would be better... Yes, it's more compatible. So could we
> > > > define such sequences NOW and implement them in the next kernel? It would
> > > > be really great!
> > > >
> > > > I can see two ways:
> > > >
> > > > 1. An escape would define the charset set by ^[c (maybe one of the four,
> > > > ISO-8859-1 / VT100 / null = CP-437 / user defined, or maybe only
> > > > ISO-8859-1 / user defined would be enough).
> > > >
> > > > 2. Escapes would tell if ^[c should set the G0 and G1 charsets at
> > > > all.
> > >
> > > This is *mess*. What about ^[c not reseting charsets at all, and ^[C,
> > > which would also reset pallette, 'saved' colors, charsets, everything?
> > >
> > Maybe that kinda thingy would be useful too... too bad resetting
> > _everything_ isn't possible without a good graphics abstraction layer -
> > which Linux is still missing :(
>
> *sigh* - Maybe I've been hanging around some of the live-chat type areas
> too long.. but I _HAVE_ to answer this!
>
> GGI is _ALMOST_ ready for inclusion into the kernel - for 2.3
> definitely.... and it IS a graphics abstraction layer... (still in
> development)

Well I was talking about the current development kernel... but since you
brought it up... I could use GGI if it had an easy method for telling it
that the _user_ is INCOMPATIBLE with vertical refresh < 80Hz (other than
the bios 80x25@70Hz (720x400?) in "emergency situations";)
Also how to create monitor drivers for ggi?

[no, I'm not on linux-ggi - let's hope it allows non-subscriber mail;)]

p.s. ftp.ticalc.org:/pub/unix/tidev-1.0.1.tar.gz doesn't like 2.1.xx :(