Can I autosave a running jupyter python notebook without having it open in a browser tab? -


so have long-running python notebook.

as long it's open in browser's tab, it's autosaving every 2 minutes, , life good.

is possible keep auto-saving if close browser tab?

the kernel keeps running when close tab, great.

this kind of "screen", in jupyter

edit: if leave tab open in browser, noticed after 24 hours, "kernel status" in top right becomes "disconnected", though running cell still has output being piped server websocket connection

no, can't (for now), , no point in doing it. reason is, close tab, critical information lost because in memory of javascript vm run page.

any update sent kernel after you've closed page lost.for example try following.

  • create cell sleep(10);print('hello')
  • execute cell
  • quickly close , reopen tab.
  • the "hello" never printed.

the mapping between "execution request" , "execution reply" have been lost, , can't recovered.

the jupyter team aware of that. fixes not hard, require lot of careful refactor , api design. there long in person discussion in nyc @ end of august 2017. right focus polish jupyterlab, , once done 1 of area of focus. go hand in hand real-time collaboration.

in more detail, fix requires "move" notebook model client (your browser) server side (what serverside handwaved now, here not place expand it), there technical questions that, widgets, , when collaborating state shared , state per-client. if fold code, should stored ? or not ?

if interested in that, suggest getting involved jupyterlab, there number of low hanging fruits contribute should fix 80% of usecases.


Comments

Post a Comment

Popular posts from this blog

ubuntu - PHP script to find files of certain extensions in a directory, returns populated array when run in browser, but empty array when run from terminal -

i running os ububtu 16.04. ultimate goal able run php script cron job every minute. here php script located @ /var/www/html/tests/test/index.php : <?php $directorypath = $_server['document_root']."/tests/test/data/"; echo "directorypath: $directorypath<br><br>";//check $imagefilepathsarray = glob($directorypath . "*.{png,gif}", glob_brace); echo "<br><br>imagefilepathsarray: "; print_r($imagefilepathsarray);//check ?> when open php script in browser visiting url my-ip-address/tests/test/index.php , get: directorypath: /var/www/html/tests/test/data/ imagefilepathsarray:array( [0] => /var/www/html/tests/test/data/pic.png [1] => /var/www/html/tests/test/data/pic.gif ) before writing cron job in crontab file, need check if can run anywhere using terminal . opened ubuntu terminal @ /home/ location, , executed in terminal: sudo php /var/www/html/tests/test/index.php i got following out...
Read more

php - How can i create a user dashboard -

today have questions you, want create user dashboard site, include (obviously), users data, example -email -username -and others stuff how can information, , print them in html page? if can, how can these information via php sessions? shuld use session? example, if user login, , start new session ( session_start() ), how can data print in dashboard? should use php "project"? in advice, have day , thank time!
Read more

javascript - How to detect toggling of the fullscreen-toolbar in jQuery Mobile? -

i have jquery mobile page fixed full-screen toolbar, data-tap-toggle enabled. straight under toolbar have positioned banner should slide upwards when toolbar hiding , slide downward when toolbar showing. jquery mobile toggles toolbar applying , removing ui-fixed-hidden class - sadly, can't find in documentation of toolbar widget toggle , hide or show event that. how can detect when toolbar toggled, reposition banner? .banner { position: fixed; background-color: darkseagreen; top: 46px; min-height: 48px; width: 100%; text-align: center; line-height: 48px; } <!doctype html> <html> <head> <meta charset="utf-8"> <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no"> <link rel="stylesheet" href="https://code.jquery.com/mobile/1.4.5/jquery.mobile-1.4.5.css"> <script src="https://code.jquery.com/jquery-1....
Read more