feat(binder): implement Pluto server setup and configuration scripts

Author: amaurigmartins

binder/pluto_server_config.jl

@@ -0,0 +1,22 @@
+(
+    # Julia Compiler options:
+    # This makes Julia's precompilation less optimized for repeated package loads, and more optimized for single package loads. Precompilation will be faster, package loads will be slower. But in total, startup times will be faster, see https://discourse.julialang.org/t/first-pluto-notebook-launches-are-slower-on-julia-1-9-beta-3/93429/
+    pkgimages="no",
+    # This makes Julia compile faster, and run slightly slower.
+    optimize=1,
+
+    # Pluto security options:
+    # Disable authentication – jupyter/binder already does its own auth, no need to add more.
+    require_secret_for_open_links=false,
+    require_secret_for_access=false,
+    # Disable the warning message about running code from unknown sources when exiting Safe Preview mode (https://github.com/fonsp/Pluto.jl/pull/2563)
+    warn_about_untrusted_code=false,
+
+    # Pluto misc options:
+    # Don't try to start Firefox when the server launches
+    launch_browser=false,
+    # Don't show the "a newer version of Pluto is available" message
+    dismiss_update_notification=true,
+    # Don't show the file picker at the top of the notebook (because all files stored on binder will be lost). Instead, just show a big download button so users can store the .jl file locally.
+    show_file_system=false,
+)

binder/plutoserver.py

@@ -0,0 +1,11 @@
+def setup_plutoserver():
+  return {
+    "command": ["sh", "start_server.sh"],
+    "environment": {
+      "JSP_PORT": "{port}",
+    },
+    "timeout": 60,
+    "launcher_entry": {
+        "title": "Pluto.jl",
+    },
+  }

binder/postBuild

@@ -0,0 +1,14 @@
+import setuptools
+
+setuptools.setup(
+  name="jupyter-pluto-proxy",
+  # py_modules rather than packages, since we only have 1 file
+  py_modules=['plutoserver'],
+  entry_points={
+      'jupyter_serverproxy_servers': [
+          # name = packagename:function_name
+          'pluto = plutoserver:setup_plutoserver',
+      ]
+  },
+  install_requires=['jupyter-server-proxy @ git+http://github.com/fonsp/jupyter-server-proxy@470e13ae0f7a8961202c76ea6bcbcfd27ed07e6a'],
+)

binder/setup.py

@@ -0,0 +1,10 @@
+import Pluto
+
+@assert haskey(ENV, "JSP_PORT")
+
+Pluto.run(;
+    host="0.0.0.0",
+    port=parse(Int64, get(ENV, "JSP_PORT", nothing)),
+
+    include("pluto_server_config.jl")...,
+)

binder/start

@@ -0,0 +1,15 @@
+@info("instantiate from setup.py")
+import Pkg
+Pkg.instantiate()
+
+@info("import Pluto from setup.py")
+import Pluto
+
+@info("starting new notebook from setup.py")
+sesh = Pluto.ServerSession(options=Pluto.Configuration.from_flat_kwargs(; include("pluto_server_config.jl")...))
+nb = Pluto.SessionActions.new(sesh; run_async=false)
+
+
+@info("shutting down notebook from setup.py")
+Pluto.SessionActions.shutdown(sesh, nb; async=false)
+@info("setup.py done");