ファイル名変更

MacOSのファインダからファイル名を変更するときは、"Shift+Enter"で直接変更できる。
WindowsのF2押すのと同じ効果。

…知らなかった。