沢山のファイルの名前を変えるのって面倒くさい。 Windows使っていたときには、リネーム専用ソフトを使っていた記憶がある。 写真を何百枚も撮ってきた時に、全部手作業で名前をつけ直すとか苦行でしかなかった。  …