環境
OS: MacOS High Sierra
neovim: v0.2.0
deinを使ってインストールしています。
インストールするもの
インストール
dein_lazy.toml
[[plugins]]
repo = "let-def/vimbufsync"
on_ft = "coq"
[[plugins]]
repo = "the-lambda-church/coquille"
on_ft = "coq"
depends = ["vimbufsync"]
hook_source = """
nmap <silent> <C-c><C-l> :CoqLaunch<CR>
nmap <silent> <C-c><C-n> :CoqNext<CR>
nmap <silent> <C-c><C-u> :CoqUndo<CR>
nmap <silent> <C-c><C-c> :CoqToCursor<CR>
"""
coquilleをインストールしても動かなくてREADMEをみるとvimbufsyncと言うものが必要らしかった。
なのでdependsにvimbufsyncを指定してインストール
キーマッピングは各自の好みにおまかせします。
READMEに進められていたのは
" Maps Coquille commands to <F2> (Undo), <F3> (Next), <F4> (ToCursor)
au FileType coq call coquille#FNMapping()
だったけど、やってみるとF3とか押しにくいなあと思ったので変えてみたけど、今のも微妙かも
何かおすすめのキーマッピングがあれば教えてください