in Antarctica

いろんなメモ

neovimでcoq環境

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

fishの文法を書くのがめんどくさい人のためのTips

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

DockerでGo × mysqlの最低限な開発環境を用意する

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

リガチャー(合字)が使えるエディターを適当に見てみた 

リガチャ使っていますか? これ が こうなります。 カッコ良いね、コード書きたくなるね リガチャ 複数の文字を一つの文字として、 表示してくれます。 最近話題になっている気がしますが、 以外と使えるエディターが少ない?気がしたので調べてみました。 …

SICP

SICP勉強会してるので、 気が向いたら知見書いていけたらなぁと exe2.63 (define (tree->list-1 tree) (if (null? tree) '() (append (tree->list-1 (left-branch tree)) (cons (entry tree) (tree->list-1 (right-branch tree)))))) (define (tree->list-2 …

fishでVundle使うときの罠

shellをfishに変えて意気揚々とvimのプラグインを追加して:BundleInstallすると次のようなエラーがでる Error detected while processing function vundle#installer#new[24]..<SNR>59_process[11]..vundle#installer#run[8]..vundle#installer#install[12]..<SNR>59_s</snr></snr>…

fish×peco×ghq

pecpとghqを使った記事がzshばっかりだったのでメモ config.fishに下をかくだけ function tl ghq list --full-path | peco | read dist cd $dist end readでdistに渡して cdしてるだけ

fish shellのconfig.fish

fishを使ってみた 良さげなのでとりあえず、(自分は)これだけあればなんとかなるconfig.fishをメモしておく fishはここから fish shell もしくは brew install fish とかで config.fishは ~/.config/fish/config.fish にかく ないなら作る config.fish ## 環…