neurodebian:nd140

RUN /bin/sh -c set -x && apt-get update && { which gpg || apt-get install -y --no-install-recommends gnupg ; } && { gpg --version | grep -q '^gpg (GnuPG) 1\.' || apt-get install -y --no-install-recommends dirmngr ; } && rm -rf /var/lib/apt/lists/* # buildkit

11.17 MB

RUN /bin/sh -c set -x && export GNUPGHOME="$(mktemp -d)" && gpg --batch --keyserver keyserver.ubuntu.com --recv-keys 4E9A2E702A23C7C882574536439754ED1F42AA2C && mkdir -p /etc/apt/keyrings && gpg --batch --export --armor 4E9A2E702A23C7C882574536439754ED1F42AA2C > /etc/apt/keyrings/neurodebian.asc && rm -rf "$GNUPGHOME" # buildkit

2.64 KB

RUN /bin/sh -c { echo 'deb [signed-by=/etc/apt/keyrings/neurodebian.asc] http://neuro.debian.net/debian forky main'; echo 'deb [signed-by=/etc/apt/keyrings/neurodebian.asc] http://neuro.debian.net/debian data main'; echo '#deb-src [signed-by=/etc/apt/keyrings/neurodebian.asc] http://neuro.debian.net/debian-devel forky main'; } > /etc/apt/sources.list.d/neurodebian.sources.list # buildkit

270 B

RUN /bin/sh -c set -x && apt-get update && apt-get install -y --no-install-recommends neurodebian-freeze eatmydata && ln -s /usr/bin/eatmydata /usr/local/bin/apt-get && rm -rf /var/lib/apt/lists/* # buildkit

90.73 KB