Skip to content

Commit 8d87d79

Browse files
committed
Fix #52
1 parent eaa4a42 commit 8d87d79

File tree

3 files changed

+6
-2
lines changed

3 files changed

+6
-2
lines changed

src/assets/img/ctrl-c.png

7.84 KB
Loading

src/en/docs/latex.jl

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33

44
#> [frontmatter]
55
#> order = "4"
6-
#> title = "𝚺 LaTeX"
6+
#> title = "🧮 LaTeX"
77
#> date = "2025-08-01"
88
#> tags = ["docs", "writing", "latex", "markdown"]
99
#> description = "How to use LaTeX in Pluto"

src/en/docs/launch-pluto.jlmd

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -59,11 +59,15 @@ Something important to know: **each Pluto session** (created by running `Pluto.r
5959
If you use the main menu to create a new notebook or open a notebook, it will be **added to the session**. If you go back to the main menu, you can add more notebooks to the session.
6060

6161

62+
<img src="$(root_url)/assets/img/collatz/c6.png" aria-hidden="true" width="700" height="200">
6263

6364

65+
# How to stop Pluto
66+
To stop Pluto, you can **press `Ctrl+C` in the terminal where you started Pluto**. You might need to press `Ctrl+C` multiple times. This will stop the Pluto server, and all notebooks in the session will shut down.
67+
68+
<img alt="screenshot of the terminal, showing the command `Ctrl+C`" src="$(root_url)/assets/img/ctrl-c.png" width="793" height="322">
6469

6570

66-
<img src="$(root_url)/assets/img/collatz/c6.png" aria-hidden="true" width="700" height="200">
6771

6872

6973
# Advanced: Mirror view

0 commit comments

Comments
 (0)