yesiam: ppx上で選択したエントリをfenrirのpathファイルに追加できるようにしてみる で path ファイルに追加しているけれど、fenrir を終了すると消えちゃわないのかな？ 設定によるのかもしれないけれど。よくわからないので path へ追加する前に fenrir …