情報教室の端末（続き）
dhcpでホスト名を割り当てているつもりなのだが， noneになってしまうようになった。 ログを調べてみたら，NetworkManagerを削除したのが原因っぽい。 削除以前のディスクイメージに戻してみたらだいぶ良くなった。 ログイン画面ではnoneになっていても，メニューボタンが使えるように なった頃にはhostnameがついてるとかそんな感じ。 でも前の設定ではもっと早い段階でhostnameが設定されたはず。 NetworkManagerだとずっと後の段階なんだよな。 とりあえずad hocな対応ではあるけど戻しておくことにする。
あ，マウントのオプションを直すの忘れてた。 明日職場に行ったらさっそく対応しよう。