Project

General

Profile

Download (376 Bytes) Statistics
| Branch: | Tag: | Revision:
1
#!/usr/bin/env bash
2

    
3
containerId=leliobrun/lustrec-env
4

    
5
command -v docker >/dev/null 2>&1 || { \
6
        echo >&2 "docker is required but could not be found.  Aborting."; \
7
        echo >&2 "To setup Docker: https://docs.docker.com/engine/getstarted/step_one/"; \
8
        exit 1; }
9

    
10
docker run -it --rm --user $(id -u):$(id -g)\
11
    -v $PWD:/home/opam/lustrec $containerId $1
(19-19/20)