問題

原因不明だが、Ctrl-Sや保存ボタンを押しても編集途中のnotebookの保存が実行されないことがまぁまぁの頻度で起こる。確実に日に1回以上は起っている。

セーブしてない間の作業内容が全部消えてしまうため、内容を復旧するための作業ロスが生じている。

想定原因

発生条件がわからない...

• 仮説1: PCから離れている時にサーバーとセッションが切れたため？
• 仮説2: reverse ssh port forwardがらみ？
• 仮説3: jupyter serverの何かしらのバグ

暫定対応

• ローカルからjupyter server にSSH port forwardでつなぐのをやめてVSCodeのDevContainerをしばらく使ってみる。接続方式が不明だが、 方式によっては問題が解消する可能性もワンチャンあるかも。
• もしこれでも再発するようなら、「コードは基本pythonスクリプトで開発してjupyter notebookから呼ぶ」みたいな開発にする。できればjupyterで処理の途中経過を確認しながらの方式を残したい。