mp3プレイヤーの再生順番がファイル名順なのだが、これをランダムソートしたくなったのでpythonで書いた import string, os, random for f in os.listdir("."): os.rename(f, random.choice(string.letters)+f)