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.