You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
What would be nice would be if you could say something like:
>> download %my-download.zip zip [%file1.dat (data-var) %file2.txt (text-var)]
And have the browser give you a Save As... dialog where that binary could be saved.
If JavaScript is uncooperative for larger data or binary data, this could be done through a server that would proxy the request and give you a link to click on.
The text was updated successfully, but these errors were encountered:
It would be nice that if you generate text or binary data that you could ask the REPL to generate a file for you and save it.
There are some instances of this being done for text:
https://stackoverflow.com/questions/3665115/create-a-file-in-memory-for-user-to-download-not-through-server
What would be nice would be if you could say something like:
And have the browser give you a
Save As...
dialog where that binary could be saved.If JavaScript is uncooperative for larger data or binary data, this could be done through a server that would proxy the request and give you a link to click on.
The text was updated successfully, but these errors were encountered: