環境
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とか押しにくいなあと思ったので変えてみたけど、今のも微妙かも
何かおすすめのキーマッピングがあれば教えてください
スクショはこんな感じです
