-
Notifications
You must be signed in to change notification settings - Fork 12
/
Dockerfile
21 lines (15 loc) · 655 Bytes
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
FROM gapsystem/gap-docker
MAINTAINER Olexandr Konovalov <obk1@st-andrews.ac.uk>
# Update version number each time after gap-docker container is updated
ENV GAP_VERSION 4.11.1
# Remove previous JupyterKernel installation, copy this repository and make new install
RUN cd /home/gap/inst/gap-${GAP_VERSION}/pkg/ \
&& rm -rf JupyterKernel \
&& wget https://github.com/gap-packages/JupyterKernel/archive/master.zip \
&& unzip -q master.zip \
&& rm master.zip \
&& mv JupyterKernel-master JupyterKernel \
&& cd JupyterKernel \
&& pip3 install . --user
USER gap
WORKDIR /home/gap/inst/gap-${GAP_VERSION}/pkg/JupyterKernel/demos