Skip to content

Commit 6ad9f58

Browse files
committed
Back to do apps
1 parent ca45889 commit 6ad9f58

File tree

3 files changed

+4
-4
lines changed

3 files changed

+4
-4
lines changed

.github/workflows/ExportNotebooks.yml

+1-1
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ jobs:
2828
Pkg.instantiate();
2929

3030
import PlutoUtils;
31-
PlutoUtils.Export.github_action(; export_dir=".", baked_state=false, offer_binder=true, binder_url="https://mybinder.org/build/gh/mitmath/18S191/e2dec90", bind_server_url="https://computationalthinking-sliderserver.plutojl.org");'
31+
PlutoUtils.Export.github_action(; export_dir=".", baked_state=false, offer_binder=true, binder_url="https://mybinder.org/build/gh/mitmath/18S191/e2dec90", bind_server_url="https://computationalthinking-sliderserver-do.plutojl.org");'
3232
- name: Franklin
3333
run: julia -e '
3434
using Pkg;

Dockerfile

+1-1
Original file line numberDiff line numberDiff line change
@@ -26,4 +26,4 @@ COPY --chown=pluto . ${HOME}
2626
RUN julia --project=${HOME}/bind-server-environment -e "import Pkg; Pkg.instantiate(); Pkg.precompile()"
2727

2828
# The "default command" for this docker thing.
29-
CMD ["julia", "--project=/home/pluto/bind-server-environment", "-e", "import PlutoSliderServer; PlutoSliderServer.run_directory(\"notebooks\"; port=1234 , host=\"0.0.0.0\", workspace_use_distributed=true)"]
29+
CMD ["julia", "--project=/home/pluto/bind-server-environment", "-e", "import PlutoSliderServer; PlutoSliderServer.run_directory(\".\"; port=1234 , host=\"0.0.0.0\")"]

bind-server-environment/Manifest.toml

+2-2
Original file line numberDiff line numberDiff line change
@@ -171,8 +171,8 @@ version = "0.14.0"
171171

172172
[[PlutoSliderServer]]
173173
deps = ["Base64", "Configurations", "HTTP", "Pkg", "Pluto", "SHA", "Sockets", "TOML", "UUIDs"]
174-
git-tree-sha1 = "09b59b09e73213da385cc12deabe7618d93ab495"
175-
repo-rev = "d79814f"
174+
git-tree-sha1 = "0453df97be9b4e4acd02a422c6a95956d6db5a83"
175+
repo-rev = "4634f63"
176176
repo-url = "https://github.com/JuliaPluto/PlutoSliderServer.jl"
177177
uuid = "2fc8631c-6f24-4c5b-bca7-cbb509c42db4"
178178
version = "0.1.0"

0 commit comments

Comments
 (0)