Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Option to disable writing to file #1047

Merged
merged 6 commits into from
Apr 14, 2021
Merged

Option to disable writing to file #1047

merged 6 commits into from
Apr 14, 2021

Conversation

fonsp
Copy link
Owner

@fonsp fonsp commented Apr 1, 2021

In a couple of situations, it makes sense to not save the notebook file after opening it. For example:

I never tested this code, anyone should feel free to:

  • try it out
  • fix any bugs
  • merge main with this branch
  • add a basic test

@fonsp fonsp added backend Concerning the julia server and runtime online deployment About deploying to binder, heroku, self-hosted help welcome If you are experienced in this topic - let us know! good first issue Good for newcomers labels Apr 7, 2021
@fonsp fonsp marked this pull request as ready for review April 14, 2021 12:40
@fonsp fonsp merged commit 0254946 into main Apr 14, 2021
pankgeorg pushed a commit that referenced this pull request Apr 25, 2021
@dralletje dralletje deleted the save_to_path-option branch November 6, 2021 00:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backend Concerning the julia server and runtime good first issue Good for newcomers help welcome If you are experienced in this topic - let us know! online deployment About deploying to binder, heroku, self-hosted
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant