Last active
February 26, 2021 11:31
-
-
Save dkvasnicka/9e7f5c516e997d3f3f00b0256755b906 to your computer and use it in GitHub Desktop.
Racket Jupyter kernel setup for Deepnote.com
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM gcr.io/deepnote-200602/templates/deepnote | |
RUN sudo apt-get update && \ | |
sudo apt-get install -y libzmq5 | |
# Derived from https://github.com/jackfirth/racket-docker which is | |
# licensed under the MIT license. | |
ENV RACKET_INSTALLER_URL=http://mirror.racket-lang.org/installers/7.8/racket-7.8-x86_64-linux-natipkg.sh | |
ENV RACKET_VERSION=7.8 | |
RUN wget --output-document=racket-install.sh -q ${RACKET_INSTALLER_URL} && \ | |
echo "yes\n1\n" | sudo sh racket-install.sh --create-dir --unix-style --dest /usr/ && \ | |
rm racket-install.sh | |
ENV SSL_CERT_FILE="/etc/ssl/certs/ca-certificates.crt" | |
ENV SSL_CERT_DIR="/etc/ssl/certs" | |
RUN sudo raco setup | |
RUN raco pkg config --set catalogs \ | |
"https://download.racket-lang.org/releases/${RACKET_VERSION}/catalog/" \ | |
"https://pkg-build.racket-lang.org/server/built/catalog/" \ | |
"https://pkgs.racket-lang.org" \ | |
"https://planet-compats.racket-lang.org" | |
RUN raco pkg install --auto iracket | |
RUN raco iracket install | |
ENV DEFAULT_KERNEL_NAME "racket" |
Added to docs, thanks a lot! https://docs.deepnote.com/environment/custom-environments/running-your-own-kernel#racket-kernel
Oh wow, thanks! I did not expect to make it to the official docs! 😊
Btw, I took a lot of inspiration from https://github.com/jackfirth/racket-docker so maybe the MIT license should be honored and the copyright notice retained. I don't know how exactly this works.
Good point @dkvasnicka. I added a notice and a link to repo, it should be enough (maybe you could also add the same into this Gist) ;)
Done!
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Added to docs, thanks a lot! https://docs.deepnote.com/environment/custom-environments/running-your-own-kernel#racket-kernel