"I don't know what kind of terminal you are on -- all I have is 'unknown'"と表示されて、まともにファイル編集ができなかった。以前にも同じことがあった記憶があるが、数年前のことだったのですぐには解決方法が分からなかった。昔のノートを探すと、…