-
-
Notifications
You must be signed in to change notification settings - Fork 293
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
📬 Auto reload from file #1029
Merged
Merged
📬 Auto reload from file #1029
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
pankgeorg
reviewed
Apr 27, 2021
pankgeorg
force-pushed
the
watch-notebook-file-1
branch
from
April 29, 2021 14:39
4202d89
to
d3f21f8
Compare
ericphanson
added a commit
to ericphanson/Pluto.jl
that referenced
this pull request
Jun 26, 2021
Co-authored by: Fons van der Plas <fonsvdplas@gmail.com>
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
Very useful! |
Closed
5 tasks
It would be really helpful and boost many programmers' productivity. |
Added a popup message Schermopname.2021-09-26.om.01.00.33.mov |
Co-Authored-By: disberd <12846528+disberd@users.noreply.github.com>
I'm merging this, but for now it is disabled by default. Enable it using Pluto.run(auto_reload_from_file=true) After a longer testing period, I will turn it on by default |
Thank you all for your efforts. |
julia> ]
pkg> add Pluto#main You can revert with pkg> rm Pluto
pkg> add Pluto |
Closed
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Watch the notebook file for changes, and load them automatically. New changes are run automatically.
The goal here is to allow:
Try it out
TODO
VIDEO
Schermopname.2021-03-26.om.01.42.33.mov
this PR + https://www.notion.so/malyvsen/Notebook-REST-API-4312a1acf7004806bd33f2eefee327a5 == https://darklang.com ?! @ctrekker