Revision history [back]
 | 1 | initial version |
Extending pangs answer a little:
Make notebook start again
If you have valuable information in your /home/sage/.sage/sage_notebook.sagenb/ folder, try to just erasing/renaming:
/home/sage/.sage/sage_notebook.sagenb/conf.pickle/home/sage/.sage/sage_notebook.sagenb/user.pickle
Recover information
If you lost information, look for snapshots of your notebook:
/home/sage/.sage/sage_notebook.sagenb/user.pickle/home/<user>/<notebook id>/snapshots/
- Unpack latest snapshot
- Copy contents of file
- Edit notebook in browser in plain text mode
- Paste the contents.
- Press save
Maybe there's an easier way, but I haven't found it yet..
| | 2 | Used wrong name for worksheets |
Extending pangs answer a little:
Make notebook start again
If you have valuable information in your /home/sage/.sage/sage_notebook.sagenb/ folder, try to just erasing/renaming:
/home/sage/.sage/sage_notebook.sagenb/conf.pickle/home/sage/.sage/sage_notebook.sagenb/user.pickle
Recover information worksheet
If you lost information, look for snapshots of your notebook: worksheet in: /home/sage/.sage/sage_notebook.sagenb/user.pickle/home/<user>/<notebook /home/sage/.sage/sage_notebook.sagenb/user.pickle/home/<user>/<worksheet id>/snapshots/
- Unpack latest snapshot
- Copy contents of file
- Edit
notebookworksheet in browser in plain text mode - Paste the contents.
- Press save
Maybe there's an easier way, but I haven't found it yet..
| | 3 | No.3 Revision |
Extending pangs answer a little:This might or might not work for you. When I had problems with unpickling this worked for me.
Make notebook start again
If you have valuable information in your /home/sage/.sage/sage_notebook.sagenb/ folder, try to just erasing/renaming:
/home/sage/.sage/sage_notebook.sagenb/conf.pickle/home/sage/.sage/sage_notebook.sagenb/user.pickle
Recover worksheet
If you lost information, look for snapshots of your worksheet in:
/home/sage/.sage/sage_notebook.sagenb/user.pickle/home/<user>/<worksheet id>/snapshots/
- Unpack latest snapshot
- Copy contents of file
- Edit worksheet in browser in plain text mode
- Paste the contents.
- Press save
Maybe there's an easier way, but I haven't found it yet..
