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 ' |