@SašoŽivanović Fair point. Wish I could figure out how to type a pound sign, but I can only manage a Euro and TeX SE doesn't seem to support such new-fangled currencies.
I have a feeling if I could just choose the right settings in KDE's config, that it would all work but when I turned right-alt into my compose key, I lost the easy way to type the Euro. And the pound I've never figured out.
@SašoŽivanović Oh, yes. 'Divided by a common language.'
But there's no sterling symbol on a US keyboard ....
@SašoŽivanović It is the first distro I installed on a machine I bought to run Linux. I ran Debian prior to that, partly because I had very few choices of distro. It was never fully satisfactory. A laptop which can't sleep is not fully functional. But that wasn't Debian's fault.
@SašoŽivanović I also use Fedora. Fedora on my work box and Arch on my laptop. And Fedora on my mother's machine. (It is my mother's machine, but I do the technical stuff.(
@SašoŽivanović Oh, it slept and woke up fine. Unfortunately, it was impossible to control the backlight. On boot, it turned fully on. OK. On sleep, it turned fully off and there was no way to persuade it to turn on again.
@cfr I also have a fair number of other machines to take care of ... all would be fine if that didn't include 5 windows machines at my father's company. :-( It's just to make me thankful that I don't have to live with that.
@SašoŽivanović My current laptop is easier because 'will work with Linux' was a selection criterion. However, I believe that if I were to hook it up to DVI out at the moment, it would probably kill all video. My work machine has this problem. However, with Fedora I can run an older kernel easily. There's some bug with intel graphics in the 4.4.* kernels.
@SašoŽivanović Some stuff doesn't work well or at all, but probably I could get more working with time. And I have friends running Windows who say stuff like bluetooth has never worked properly on their laptops, either. So I'm not sure my setup is worse.
Much easier than running Debian on a PPC-based PowerBook with Nvidia graphics and an airport wifi thing requiring one of those binary blobs.
@cfr Oh we need another one for "plain". Sometimes you actually want to put e.g. a 1 in an if or such, for example if you get the value via a style argument. I think there's even an example like this in prooftrees, with a numeral in move by if I remember correctly. ', in honour of my misguided option's?
@SašoŽivanović I'm getting somewhat lost. Do you need something to distinguish that case? Is the idea that right now the ' indicates the plain version (as opposed to process in this case) so you want something for that to avoid the current situation in which ' is used with multiple senses in different places? Presumably, something like y should default to plain but you need an explicit signal for completeness?