jupyter-notebookで自動保存をしたい. Dec 18, 2018 Pythonでいう%Autosave 600やJuliaでいうdisplay("text/javascript", "Jupyter.notebook.set_autosave_interval(600000)")というコマンドでautosaveの間隔を変えることはできるのですが,ローカルに定期的に保存してほしい(command-sを自動的に行って欲しい)場合はどうすれば良いのでしょうか.