先日、ちょっとした手元の作業中に、拡張子の最後に ".old" とつけてしまったファイル群のファイル名を元に戻したいということがありました。 Windows 上で。 ループ回して何かごにょごにょすればよさげなのは想像がつくものの、やり方がわからない。ググっ…