-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On Sat, Sep 04, 2010 at 08:49:06PM +0200, Daniel Baumann wrote: > On 09/04/2010 08:30 PM, Thomas Vazhappilly wrote: > > Is there a ditto input method in Debian Gnu/Linux? > > personally, i have no idea.
Granted it's off-topic for this list, but since the question is there, at least I'll try a half-answer: in Linux it's not considered the job of the operating system, but of a layer quite further above than that. Typically, it's something the desktop environment takes care of. That said, there is an input method that luckily is taking precedence in desktop environments: press shift+ctrl+u, then the hexadecimal code for your Unicode character (e.g. 2203 for ∃ -- finish off with space or something). See <http://www.cl.cam.ac.uk/~mgk25/unicode.html> (a freat resource, albeit not the most modern) or <https://help.ubuntu.com/community/ComposeKey> HTH - -- tomás -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) iD8DBQFMgyZDBcgs9XrR2kYRAnDZAJ4rvFRvr2Q4QG3XEdglqnPZXN/YGQCffBxd BhgvSzR1BNOU2MaGq3ej49s= =zFkI -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-live-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20100905051027.ga30...@tomas
