Public bug reported:
I installed `emacs-gtk` (version 29.3+1-1ubuntu2) via apt on Ubuntu
24.04.
However, the installed Emacs **does not include LEIM (Language
Environment Input Methods)** support — specifically,
`/usr/share/emacs/29.3/leim/` is missing. This breaks input methods
based on `quail`, including Lean 4’s Unicode input (e.g. \sb0, \forall,
etc).
This makes it impossible to use `lean4-mode`’s standard Unicode input
method — it falls back silently to `lean-mode` behavior (subscript
inputs become plain characters).
Steps to reproduce:
1. `sudo apt install emacs-gtk`
2. Run Emacs and load `lean4-mode`
3. Attempt to activate `lean4-unicode` input method via `set-input-method`
4. Observe: Input method is accepted as `Lean`, but `\sb0`, `\forall` do not
get translated
5. File `/usr/share/emacs/29.3/leim/` does not exist, and
`(quail-list-methods)` fails
Expected:
- `emacs-gtk` should include LEIM support
- `quail`-based methods like Lean 4 Unicode should work
- Input like `\sb0` → ₀ should render in Lean buffers
Tested with:
- Ubuntu 24.04
- Emacs 29.3+1-1ubuntu2
- lean4-mode from GitHub
Workarounds (manual):
- Emacs built from source *with* LEIM works fine
Please include `leim` in the Emacs build or package `emacs-leim` as a separate
dependency if that's the standard approach.
** Affects: emacs (Ubuntu)
Importance: Undecided
Status: New
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/2116104
Title:
emacs-gtk 29.3 missing leim input support: breaks Lean 4 unicode input
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/emacs/+bug/2116104/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
