Status: New
Owner: ----
Labels: Type-Defect Priority-Medium
New issue 1183 by [email protected]: Custom m17n files as user
http://code.google.com/p/ibus/issues/detail?id=1183
We are using ibus to type mathematical unicode symbols in proof scripts.
For this, we have written a custom .mim file, which for example includes
the following lines:
("\\forall" ?∀)
("\\fun" ?λ)
("\\exists" ?∃)
For new mathematical notions we introduce new symbols and hence the above
file should be extended. Since this file needs to be stored in
/usr/share/m17n root access is required making this operation rather
cumbersome. Or even, impossible, if I do not have root access on that
machine.
It would be nicer if ibus is able to look in the user's home directory, for
example ~/.m17n, for custom m17n files. Or even better, if custom paths, or
m17n files, could be specified. That way I could add an m17n file which is
under version control to ibus.
--
You received this message because you are subscribed to the Google
Groups "ibus-devel" group.
iBus project web page: http://code.google.com/p/ibus/
iBus dev group: http://groups.google.com/group/ibus-devel?hl=en