Revert back to Dockerfile

.gitignore

@@ -1,89 +0,0 @@
-# Byte-compiled / optimized / DLL files
-__pycache__/
-*.py[cod]
-*$py.class
-
-# C extensions
-*.so
-
-# Distribution / packaging
-.Python
-env/
-build/
-develop-eggs/
-dist/
-downloads/
-eggs/
-.eggs/
-lib/
-lib64/
-parts/
-sdist/
-var/
-*.egg-info/
-.installed.cfg
-*.egg
-
-# PyInstaller
-#  Usually these files are written by a python script from a template
-#  before PyInstaller builds the exe, so as to inject date/other infos into it.
-*.manifest
-*.spec
-
-# Installer logs
-pip-log.txt
-pip-delete-this-directory.txt
-
-# Unit test / coverage reports
-htmlcov/
-.tox/
-.coverage
-.coverage.*
-.cache
-nosetests.xml
-coverage.xml
-*,cover
-.hypothesis/
-
-# Translations
-*.mo
-*.pot
-
-# Django stuff:
-*.log
-local_settings.py
-
-# Flask stuff:
-instance/
-.webassets-cache
-
-# Scrapy stuff:
-.scrapy
-
-# Sphinx documentation
-docs/_build/
-
-# PyBuilder
-target/
-
-# IPython Notebook
-.ipynb_checkpoints
-
-# pyenv
-.python-version
-
-# celery beat schedule file
-celerybeat-schedule
-
-# dotenv
-.env
-
-# virtualenv
-venv/
-ENV/
-
-# Spyder project settings
-.spyderproject
-
-# Rope project settings
-.ropeproject

Dockerfile

@@ -0,0 +1,42 @@
+# Dockerfile for binder
+# Reference: https://mybinder.readthedocs.io/en/latest/tutorials/dockerfile.html
+
+# Pull the Sage docker image
+FROM ghcr.io/sagemath/sage/sage-ubuntu-focal-standard-with-targets-optional:dev
+
+USER root
+
+# These lines are here to remove warnings
+ENV DEBIAN_FRONTEND noninteractive
+ENV DEBCONF_NOWARNINGS="yes"
+
+# Install jupyterlab to the system
+RUN apt-get update
+RUN apt-get install -y apt-utils
+RUN apt-get install -y python3-pip
+RUN python3 -m pip install --no-warn-script-location jupyterlab
+
+# Create user "alice" whose uid is 1000
+ARG NB_USER=alice
+ARG NB_UID=1000
+ENV NB_USER ${NB_USER}
+ENV NB_UID ${NB_UID}
+ENV HOME /home/${NB_USER}
+RUN adduser --disabled-password --gecos "Default user" --uid ${NB_UID} ${NB_USER}
+
+# Make sure the contents of our repo are in ${HOME}
+COPY notebooks/* ${HOME}/
+RUN chown -R ${NB_UID} ${HOME}
+
+# Switch to the user
+USER ${NB_USER}
+
+# Install jupyterlab to Sage
+RUN /sage/sage -pip install --no-warn-script-location jupyterlab
+
+# Install sagemath kernel to jupyter
+RUN mkdir -p $(jupyter --data-dir)/kernels \
+    && ln -s /sage/venv/share/jupyter/kernels/sagemath $(jupyter --data-dir)/kernels
+
+# Start in the home directory of the user
+WORKDIR /home/${NB_USER}