Skip to content

Latest commit

 

History

History
15 lines (12 loc) · 686 Bytes

README.md

File metadata and controls

15 lines (12 loc) · 686 Bytes

System-wide Lean input method

This repository contains an MIM file for m17n to convert Lean-style abbreviations such as \nat to in all applications.

First you need an input method framework such as fcitx (with the fcitx-m17n plugin) or ibus. Then you only need to install the MIM file, and enable the new input method:

install -Dm0644 lean.mim ~/.m17n.d/lean.mim

Or alternatively:

mkdir -p ~/.m17n.d
curl https://raw.githubusercontent.com/gebner/m17n-lean/master/lean.mim >~/.m17n.d/lean.mim