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
- Name: okuisatoshi/singularity-coq-mathcomp-code-server
- License: None
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 |
Feedback
Was this page helpful?
Glad to hear it! Please tell us how we can improve.
Sorry to hear that. Please tell us how we can improve.