feat: Use (/bin/bash --login -o pipefail -c) as default Dockerfile shell - Githubissues

math-comp / docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]

https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags

BSD 3-Clause "New" or "Revised" License

6 stars 2 forks source link

feat: Use (/bin/bash --login -o pipefail -c) as default Dockerfile shell #7

Open erikmd opened 4 years ago

erikmd commented 4 years ago

Follow-up of PR coq-community/docker-base#11