Skip to content

Instantly share code, notes, and snippets.

@rgbkrk
Last active June 30, 2017 20:19
Show Gist options
  • Save rgbkrk/ac8cfe3298840f4027db4dad82d8a5c5 to your computer and use it in GitHub Desktop.
Save rgbkrk/ac8cfe3298840f4027db4dad82d8a5c5 to your computer and use it in GitHub Desktop.
Saving a notebook when the jupyter server won't allow it (e.g. Request Entity Too Large)
(function(console){
console.save = function(data, filename){
if(!data) {
data = Jupyter.notebook.toJSON();
}
filename = Jupyter.notebook.notebook_name;
if(!filename) {
filename = 'console.ipynb'
}
if(typeof data === "object"){
data = JSON.stringify(data, undefined, 4)
}
var blob = new Blob([data], {type: 'text/json'}),
e = document.createEvent('MouseEvents'),
a = document.createElement('a')
a.download = filename
a.href = window.URL.createObjectURL(blob)
a.dataset.downloadurl = ['text/json', a.download, a.href].join(':')
e.initMouseEvent('click', true, false, window, 0, 0, 0, 0, 0, false, false, false, false, 0, null)
a.dispatchEvent(e)
}
})(console)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment