okuisatoshi/singularity-coq-mathcomp-code-server:latest

$ singularity pull shub://okuisatoshi/singularity-coq-mathcomp-code-server:latest

Singularity Recipe

Bootstrap:docker
From: ubuntu:20.04

%post
apt-get update && \
apt-get install -y coq libssreflect-coq git curl wget &&\
apt-get clean

wget https://github.com/cdr/code-server/releases/download/v3.3.1/code-server_3.3.1_amd64.deb
dpkg -i code-server_3.3.1_amd64.deb

%runscript
code-server "$@"

Collection


View on Datalad

Metrics

key value
id /containers/okuisatoshi-singularity-coq-mathcomp-code-server-latest
collection name okuisatoshi/singularity-coq-mathcomp-code-server
branch master
tag latest
commit 8865942f4f30ed0e2ee8167dd0affbbcb3baa2f2
version (container hash) 10c1c07139c0933032b16a1301aed5c5
build date 2020-05-30T07:05:44.508Z
size (MB) 1819.0
size (bytes) 658825247
SIF Download URL (please use pull with shub://)
Datalad URL View on Datalad
Singularity Recipe Singularity Recipe on Datalad
We cannot guarantee that all containers will still exist on GitHub.