nvim update の続き

.vimrc を init.lua に書き換えるだけだが、

^M ではなく <CR> と書くのか

vim.cmd とか vim.opt とか書けば良いだけ

package management には lazy ってのを使う

~/.config/nvim/init.lua
~/.local/share/nvim/lazy/

置き場所がよくわかんないんだが、まぁ、動いているらしい

設定は config に書いて、package は local にいく感じ? lazy が面倒見てくれるらしい

githun copilot も lazy 経由で

と思ったら、node.js が古いだと? v21 で、今は v25 か

次は autoload を書かないと

問題は、新しい agda vim UI が、微妙なところ

今ままで使ってるのは、若干、バグがあるんだが、自分でなおすのは既にめんどくさい

長い物に巻かれるのは嫌いじゃないんだが