neovim上にcoqの環境を整えます 基本的にはこちらの記事を見るとよくわかると思います. 僕の場合のハマったところを詳細に記述していこうと思います. coquilleを導入する dein.vimを使って以下のプラグインを追加します the-lambda-church/coquille vimbufsy…

fish shellを使って2年がたちました 今では結構使っている人も多いのではないでしょうか fishはとても使いやすい良いshellです. ただbashやzshと文法が大きくことなります. 特に苦労する機会が多いのは環境変数の文法や &&, || が使えないことだと思います. …

今更ながらDockerの勉強をしています。 色々わからないところが多く、詰まったりしたところが多かったので自分はこのようにしたというのをまとめて見ます。output大事かなって思ったので 他にやり方があるよとかあれば、教えていただけると嬉しいです。 一応…