💭

msearch導入

これまでこの日記では検索にtdiarysearchを使ってきたんだけど，思うところあってmsearchを導入．本当はRastを使ってみたかったんだけど，ここの環境だとインストールするだけで大仕事になりそうなので (というかそもそも可能かどうかも怪しいので) 諦めた．

msearchは昔使わせてもらってたことがあるので特に苦もなく．ただ環境に合わせるために数カ所いじった．まあいじり始めると止まらなくなるので，ほどほどに．