Skip to content

Instantly share code, notes, and snippets.

@dkvasnicka
Last active February 26, 2021 11:31
Show Gist options
  • Save dkvasnicka/9e7f5c516e997d3f3f00b0256755b906 to your computer and use it in GitHub Desktop.
Save dkvasnicka/9e7f5c516e997d3f3f00b0256755b906 to your computer and use it in GitHub Desktop.
Racket Jupyter kernel setup for Deepnote.com
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"
@jakubzitny
Copy link

@dkvasnicka
Copy link
Author

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! 😊

@dkvasnicka
Copy link
Author

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.

@jakubzitny
Copy link

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) ;)

@dkvasnicka
Copy link
Author

Done!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment