NFSの設定ってどうやるんだー、と苦悩中。たぶんautofsを使ってるんだが、いま動いてるサーバーの設定を見てもよくわからんぞ。というか、一台サーバーが壊れて、もう一台停止中だったやつの再インストールもうまくいかないし、研究費も余ってるんだからもう…