Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-12 Thread Osamu Aoki
On Wed, Feb 11, 2015 at 11:32:32PM +0100, Christoph Anton Mitterer wrote: ... It should be noted for those who seems to accuse me of bad faith, that I, personally, use a custom keymapping anyway,... so I don't care much whether it's left as is or not. Just for the record, I am not accusing you

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-12 Thread Edmund Grimley Evans
I wouldn't now of any real typographical use of the MIDDLE DOT. It's a proper, traditional decimal point, isn't it, as taught in British primary schools and still the normal way of doing a decimal point in handwriting when there are no technological obstacles?

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-11 Thread Steve Langasek
On Wed, Feb 11, 2015 at 04:14:06PM +0100, Christoph Anton Mitterer wrote: On Tue, 2015-02-10 at 22:44 -0800, Russ Allbery wrote: Whether that was intended or not, that's not what people actually did when they made those keyboard layouts. They did not put the dot multiplication sign on

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-11 Thread Christoph Anton Mitterer
On Tue, 2015-02-10 at 22:44 -0800, Russ Allbery wrote: Whether that was intended or not, that's not what people actually did when they made those keyboard layouts. They did not put the dot multiplication sign on that key; they put the middle dot symbol on that key. Arguing like that, we could

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-11 Thread Jeremy Stanley
On 2015-02-11 16:14:06 +0100 (+0100), Christoph Anton Mitterer wrote: [...] Is there any special reason why you think it would be bad idea? Like a use case where people depend on having the MIDDLE DOT and which would break if it was changed? [...] My passwords will stop working. (Okay, not

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-11 Thread Christoph Anton Mitterer
Control: forwarded -1 https://bugs.freedesktop.org/show_bug.cgi?id=89092 Since that's the first good valid argument against I feel I should answer: On Wed, 2015-02-11 at 21:12 +, Jeremy Stanley wrote: My passwords will stop working. (Okay, not _mine_ specifically, but someone's...)

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-11 Thread Joachim Breitner
Hi, Am Mittwoch, den 11.02.2015, 23:32 +0100 schrieb Christoph Anton Mitterer: Anyway, to finally end this ugly matter on the Debian side, I've forwarded the pointer about this possible issue upstream, so that they can choose to have what Debian didn't want to do - a proper look at the

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-11 Thread Jeremy Stanley
On 2015-02-11 23:32:32 +0100 (+0100), Christoph Anton Mitterer wrote: [...] Am I know expected to insult you as well? Guess I'm not up to date, what Debian's CoC actually demands, it only seems to be usable when being against me but not for myself ;-) [...] Apologies--I was paraphrasing Ralph

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-11 Thread Jonas Smedegaard
Quoting Joachim Breitner (2015-02-12 00:23:13) Am Mittwoch, den 11.02.2015, 23:32 +0100 schrieb Christoph Anton Mitterer: Anyway, to finally end this ugly matter on the Debian side, I've forwarded the pointer about this possible issue upstream, so that they can choose to have what Debian

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-10 Thread Christoph Anton Mitterer
Package: general Severity: normal Hey. Sorry for reporting against general, but actually I'm not quite sure which package(s) is/are canonically responsible for the keyboard mappings in all different places (console, X, wayland) these days. Some keyboard layouts (at least the German one) give

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-10 Thread Russ Allbery
Christoph Anton Mitterer cales...@gmail.com writes: It seems to be quite logical that actually the dot multiplication sign is meant, it's on the same key then the cross multiplcation sign, and in the group of arithmetic operators. Whether that was intended or not, that's not what people

Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT

2015-02-10 Thread Christoph Anton Mitterer
reopen 777643 stop On Wed, 2015-02-11 at 05:08 +, Ben Hutchings wrote: This is speculation, not a proper bug report. And is there any reason to name it speculation apart from that being just your personal opinion without any further arguments for it? It seems to be quite logical that