Sign inSign up

gapsystem/gap-docker:gap4r7p7

Manifest digest

sha256:bbfc36a03554d8c2a8d6d636f4918c7a73ccc8c0b9aaac5f404146f5d6cf7b79

OS/ARCH

linux/amd64

Compressed size

839.92 MB

Last pushed

almost 10 years by gapsystem

Type

Image

Manifest digest

sha256:bbfc36a03554d8c2a8d6d636f4918c7a73ccc8c0b9aaac5f404146f5d6cf7b79

Image Layers

Image Layers

1ADD file ... in /65.15 MB
2/bin/sh -c echo '#!/bin/sh' >75.97 KB
3/bin/sh -c sed -i 's/^#\s*\(deb.*universe\)$/\1/g'680 B
4CMD ["/bin/bash"]0 B
5MAINTAINER The GAP Group <[email protected]>0 B
6/bin/sh -c sudo apt-get update117.9 MB
7USER [gap]0 B
8ENV HOME=/home/gap0 B
9ENV GAP_HOME=/home/gap/inst/gap4r70 B
10ENV PATH=/home/gap/inst/gap4r7/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
11WORKDIR /home/gap0 B
12CMD ["bash"]0 B
13MAINTAINER The GAP Group <[email protected]>0 B
14/bin/sh -c sudo apt-get update114.39 MB
15/bin/sh -c cd /tmp 13.03 MB
16/bin/sh -c cd /opt 204.2 MB
17/bin/sh -c cd /tmp 20.29 MB
18/bin/sh -c cd /opt 11.73 MB
19/bin/sh -c cd /tmp/ 16.48 MB
20WORKDIR /home/gap0 B
21CMD [bash]0 B
22MAINTAINER The GAP Group0 B
23/bin/sh -c cd /home/gap/inst/gap4r7/pkg 276.68 MB
24USER [gap]0 B
25ENV HOME=/home/gap0 B
26ENV GAP_HOME=/home/gap/inst/gap4r70 B
27ENV PATH=/home/gap/inst/gap4r7/bin:/home/gap/inst/gap4r7/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin0 B
28WORKDIR /home/gap0 B
29CMD ["bash"]0 B

Command

ADD file:533be31ec7d16319b6e3892d2b6bda72e815db3c05155e5bba5201b700cd5855 in /