Happy Hacking Keyboard | キーボードコレクション | PFU https://happyhackingkb.com/jp/special/kb_collection/
ここによると、DEC配列? では、通常のファンクションキーをF1,F2... 、拡張ファンクションキーをPF1,PF2,PF3,PF4にしてるので、オレンジの指摘は見識(?)が狭すぎたっぽい!><;
このよくわからない古い掲示板のログによると、vf1がF11、vf2がF12らしい・・・><
http://ematei.s602.xrea.com/kakolog/200507.htm
虚数は存在するの? - Togetter [トゥギャッター] https://togetter.com/li/2406370
[B! 数学] 虚数は存在するの? https://b.hatena.ne.jp/entry/s/togetter.com/li/2406370
1. 外部でタイムスタンプだけが更新される
2. エディタが上書きしようとする
3. エディタがタイムスタンプの違いに気付き、内容を確認する
4. エディタが内容が一致していると信じる
5. > ここで外部アプリがファイルの中身を上書き! <
6. エディタは変更がないと信じているので気付かず上書き
うーん?
話題にされているのは vim が編集中ファイルの最終更新日時を記憶していて、書き込み時に改めて比較して前回読んだときから更新されていたか確認する (更新されていたら vim 外での更新と見做して警告する) という機能。
一部のネットワークファイルシステムでは基本的にメタデータ (更新日時含む) がクライアント側にキャッシュされていたりするためローカルでの更新日時とサーバでの更新日時が厳密には一致せず (時計のズレや通信遅延ゆえ)、ゆえに毎回ファイルを上書き保存するたびに「前回保存時の (ローカルの) タイムスタンプと、書こうとしているファイルの (リモートで設定された) タイムスタンプが一致しない」ということになるらしい。
解決策として「メタデータのキャッシュをやめて必ず通信で取得する」というマウントオプションを設定する手があるが、つまりこれは ls -l とかでファイルの更新日時を列挙するたびにファイルの数だけメタデータのクエリが飛ぶということであり、パフォーマンスへの影響もそれなりにあるので vim のためだけに設定したいかというと……
The file has been changed since reading it · Issue #18290 · neovim/neovim
https://github.com/neovim/neovim/issues/18290
起票者が「これ以上時間使いたくないのでローカルでパッチ当て続けることにしたわ、こっちは閉じる」と。かなしいなぁ