Skip to content

Commit 15de61c

Browse files
fix(binder): update start script to streamline Pluto launch command
1 parent 90e8de2 commit 15de61c

1 file changed

Lines changed: 1 addition & 11 deletions

File tree

binder/start

100644100755
Lines changed: 1 addition & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -2,14 +2,4 @@
22
set -euxo pipefail
33

44
# Start Pluto on the Binder port and open your notebook
5-
exec julia --project=binder -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_links=false,
13-
require_secret_for_access=false,
14-
)
15-
'
5+
exec julia --project=binder -e 'import Pluto; import WGLMakie; WGLMakie.activate!(); using PlutoStyles; Pluto.run(host = "0.0.0.0", port = parse(Int, get(ENV, "PORT", "8888")), launch_browser = false, require_secret_for_open_links=false, require_secret_for_access=false)'

0 commit comments

Comments
 (0)