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

To: debian-devel@lists.debian.org
Subject: Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
From: Nikolaus Rath <Nikolaus@rath.org>
Date: Wed, 11 Feb 2015 21:15:53 -0800
Message-id: <[🔎] 877fvnu2uu.fsf@vostro.rath.org>
Mail-followup-to: debian-devel@lists.debian.org
In-reply-to: <20150211234313.2792.26124__28245.4769396738$1423698341$gmane$org@bastian.jones.dk> (Jonas Smedegaard's message of "Thu, 12 Feb 2015 00:43:13 +0100")
References: <[🔎] 20150211011930.1612.70696.reportbug@heisenberg.scientia.net> <1423631321.2349.178.camel@decadent.org.uk> <[🔎] 1423632431.4751.38.camel@gmail.com> <[🔎] 87lhk5ueu9.fsf@hope.eyrie.org> <[🔎] 1423667646.4966.20.camel@scientia.net> <[🔎] 20150211211217.GY2497@yuggoth.org> <[🔎] 1423693952.4672.12.camel@scientia.net> <[🔎] 1423696993.10782.7.camel@debian.org> <20150211234313.2792.26124__28245.4769396738$1423698341$gmane$org@bastian.jones.dk>

> How dare you write ... instead of the proper … :-P

I'm curious, how do you type that in conviently? I hope it's not copying
and pasting from a template file, and remembering (and/or finding out)
the X11 Compose sequence seems cumbersome too.

Best,
-Nikolaus

-- 
GPG encrypted emails preferred. Key id: 0xD113FCAC3C4E599F
Fingerprint: ED31 791B 2C5C 1613 AF38 8B8A D113 FCAC 3C4E 599F

             »Time flies like an arrow, fruit flies like a Banana.«

Reply to:

Follow-Ups:
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Ben Finney <ben+debian@benfinney.id.au>
- Bug#777643: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Joachim Breitner <nomeata@debian.org>
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Benjamin Drung <benjamin.drung@profitbricks.com>
- Re: How to type ellipsis on Linux keyboard
  - From: Jonas Smedegaard <dr@jones.dk>
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Jean-Christophe Dubacq <jcdubacq1@free.fr>
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Don Armstrong <don@debian.org>
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Bjørn Mork <bjorn@mork.no>

References:
- Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Christoph Anton Mitterer <calestyo@scientia.net>
- Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Christoph Anton Mitterer <calestyo@gmail.com>
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Russ Allbery <rra@debian.org>
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Christoph Anton Mitterer <calestyo@scientia.net>
- Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Jeremy Stanley <fungi@yuggoth.org>
- Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Christoph Anton Mitterer <calestyo@scientia.net>
- Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
  - From: Joachim Breitner <nomeata@debian.org>

Prev by Date: Re: init script cannot stop pid process
Next by Date: Re: init script cannot stop pid process
Previous by thread: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Next by thread: Re: Bug#777643: general: possibly, some keyboard layouts should use U+22C5 DOT OPERATOR instead of U+00B7 MIDDLE DOT
Index(es):
- Date
- Thread