diff options
| -rwxr-xr-x | build.sh | 5 | 
1 files changed, 5 insertions, 0 deletions
| @@ -1,6 +1,11 @@  #!/bin/bash  set -e +if ! command -v docker; then +    printf "%s\n" "[err] docker not found" +    exit 1 +fi +  repo_name=$( basename -s .git $(git remote get-url origin) )  docker run --rm -it -v $(pwd):/app -w /app mono:latest bash -c ' |