Update Pluto

Author: fonsp

Diff for: .github/workflows/ExportNotebooks.yml

@@ -23,7 +23,7 @@ jobs:
               with:
                   version: 1.6.0-rc1
             - name: Run Pluto notebooks
-              run: julia --project=bind-server-environment -e '
+              run: julia --project=pluto-deployment-environment -e '
                   import Pkg;
                   Pkg.instantiate();
 

Diff for: Dockerfile

@@ -23,7 +23,7 @@ COPY --chown=pluto . ${HOME}
 
 
 # Initialize the julia project environment that will be used to run the bind server.
-RUN julia --project=${HOME}/bind-server-environment -e "import Pkg; Pkg.instantiate(); Pkg.precompile()"
+RUN julia --project=${HOME}/pluto-deployment-environment -e "import Pkg; Pkg.instantiate(); Pkg.precompile()"
 
 # The "default command" for this docker thing.
-CMD ["julia", "--project=/home/pluto/bind-server-environment", "-e", "import PlutoSliderServer; PlutoSliderServer.run_directory(\".\"; port=1234 , host=\"0.0.0.0\")"]
+CMD ["julia", "--project=/home/pluto/pluto-deployment-environment", "-e", "import PlutoSliderServer; PlutoSliderServer.run_directory(\".\"; port=1234 , host=\"0.0.0.0\")"]

Diff for: Procfile

@@ -1 +1 @@
-web: julia --project="bind-server-environment" -e "import PlutoSliderServer; PlutoSliderServer.run_directory(\".\"; port=$PORT , host=\"0.0.0.0\")"
+web: julia --project="pluto-deployment-environment" -e "import PlutoSliderServer; PlutoSliderServer.run_directory(\".\"; port=$PORT , host=\"0.0.0.0\")"

Diff for: bind-server-environment/Manifest.toml renamed to pluto-deployment-environment/Manifest.toml

@@ -163,8 +163,8 @@ uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 
 [[Pluto]]
 deps = ["Base64", "Dates", "Distributed", "FuzzyCompletions", "HTTP", "InteractiveUtils", "Logging", "Markdown", "MsgPack", "Pkg", "REPL", "Sockets", "TableIOInterface", "Tables", "UUIDs"]
-git-tree-sha1 = "3ad76f476a28e97958bd728d963daf2d396c4c6d"
-repo-rev = "eac0378"
+git-tree-sha1 = "fce463c35c076324e9a9905f307f6b9fccbc73f0"
+repo-rev = "2da8079"
 repo-url = "https://github.com/fonsp/Pluto.jl"
 uuid = "c3e4b0f8-55cb-11ea-2926-15256bba5781"
 version = "0.14.0"