ついこの前，たまたま4000個のファイルを選択した状態でファイル名を変更した． そしたらなんだか固まったようになって何が起きたのかわからんかった．とりあえず砂時計が消えるまで待つ．その直後，新しくつけたファイル名が選択されているファイル全部に適…