ちょっとディレクトリの名前を変更したかったけど数が多かったし(10前後だけど)， こういうときこそコマンドでやればいいんだろうけど，やり方しらない．いい機会だしちゃんと覚えようと思い調べたから覚書． 名前の変更自体は mv コマンドで出来るのは知っ…