Skip to content

Commit eb6b971

Browse files
feat(binder): add script to start Pluto on Binder port
1 parent 870b417 commit eb6b971

1 file changed

Lines changed: 14 additions & 0 deletions

File tree

binder/start

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
#!/bin/bash
2+
set -euxo pipefail
3+
4+
# Start Pluto on the Binder port and open your notebook
5+
exec julia -e '
6+
import Pluto
7+
import WGLMakie; WGLMakie.activate!()
8+
using PlutoStyles
9+
Pluto.run(host = "0.0.0.0",
10+
port = parse(Int, get(ENV, "PORT", "8888")),
11+
launch_browser = false,
12+
require_secret_for_open = false,
13+
)
14+
'

0 commit comments

Comments
 (0)