diff --git a/book/Deepnote.sh b/book/Deepnote.sh index 9c7c9881..99c91527 100755 --- a/book/Deepnote.sh +++ b/book/Deepnote.sh @@ -2,11 +2,6 @@ set -e -docker pull robotlocomotion/drake:jammy -docker build -f setup/docker/Dockerfile -t russtedrake/underactuated:latest . -docker push russtedrake/underactuated:latest -docker build -f setup/docker/Dockerfile -t russtedrake/underactuated:$(git rev-parse --short HEAD) . -docker push russtedrake/underactuated:$(git rev-parse --short HEAD) -python3 htmlbook/publish_to_deepnote.py $(git rev-parse --short HEAD) +python3 htmlbook/publish_to_deepnote.py $(cat Deepnote_docker_sha.txt) echo "Remember to log on to deepnote and build the dockerfile in any one of the notebooks" echo "https://deepnote.com/workspace/$(cat Deepnote_workspace.txt)" \ No newline at end of file diff --git a/book/Deepnote_docker.sh b/book/Deepnote_docker.sh new file mode 100755 index 00000000..12bcf697 --- /dev/null +++ b/book/Deepnote_docker.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +set -e + +docker pull robotlocomotion/drake:jammy +docker build -f setup/docker/Dockerfile -t russtedrake/underactuated:latest . +docker push russtedrake/underactuated:latest +docker build -f setup/docker/Dockerfile -t russtedrake/underactuated:$(git rev-parse --short HEAD) . +docker push russtedrake/underactuated:$(git rev-parse --short HEAD) +git rev-parse --short HEAD > book/Deepnote_docker_sha.txt diff --git a/book/Deepnote_docker_sha.txt b/book/Deepnote_docker_sha.txt new file mode 100644 index 00000000..599f8262 --- /dev/null +++ b/book/Deepnote_docker_sha.txt @@ -0,0 +1 @@ +e849980