Best way to restart Pluto #993
Answered
by
fonsp
Kolaru
asked this question in
Questions about using Pluto
-
|
What is the best way to restart Pluto? Currently I ctr-c the terminal I used to launch Pluto and restart it from there. I was wondering if there is a better way. |
Beta Was this translation helpful? Give feedback.
Answered by
fonsp
Mar 22, 2021
Replies: 2 comments
-
|
Not that I know of! |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
fonsp
-
|
It is generally sufficient to restart the notebook process, without restarting Pluto itself: https://github.com/fonsp/Pluto.jl/wiki/%F0%9F%94%8E-Basic-Commands-in-Pluto#11-close-notebook |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Not that I know of!