$HOME 以外もUSB

(日没後なのですでに今日)ディスカッション(雑談ともいう)で出てきたアイデア(!?)。メモをかねて書いておく。話の前提は、昔大阪大学の情報教育センターで$HOMEをFDに入れて使わせていたという話と、卒研用にUSB Pen Driveを配布しているという話。
$HOME を USB Pen Drive に入れておけば NFS とかなくてもいいし、ディスク領域を大量に準備する必要もない。それを現状に合わせて進歩させると、$HOME だけでなく / 全体をいれればいいんぢゃないかという話になった。2〜4Gbyte 程度の USB Pen Drive に ubuntu 8.04 を入れて、研究室のPCはUSB起動のみ、ローカルストレージを撤去。root 権限も使えるので各自が OS を自由にカスタマイズできるし、卒業研究で必要なソフトウェアも自由に追加可能である。ファイルのバックアップは各自がネットワーク上などに置くようにし、研究室では行わない。研究室内のネットワークは持ち込みマシンと同じように root 権限をユーザが持つマシンが接続されるという前提で設計をやり直す必要がある。
うまく準備すれば、学生の自由度の向上と管理コストの軽減ができそうである。