(マシンは、名前を付け換えるにしてもファイルの置き場所を換えるにしても、 ファイルの管理情報を書き換えることに変わりはないので、同じ mv コマンドでできる、 という訳です。)
(この教室内で学生を特定するとき、