特定の文字数のディレクトリ名の先頭に0をつける

• 5桁と6桁の数字の名前が混在したディレクトリ群から、5桁のものだけ先頭に0をつける必要があったので自分用にメモ

#ディレクトリ名の先頭に0をつける

$ ls -F
12345/ 23456/ 345678/ 456789/

-Fオプションでディレクトリ名末尾にスラッシュがつく

$ for dirname in `ls -F | grep -x ...../`
> do
> mv $dirname 0$dirname
> done

grepの-xオプションで、部分一致ではなく完全一致のときのみ抽出するようにする

$ ls
012345/ 023456/ 345678/ 456789/