| 1234567891011121314151617181920 |
- #!/bin/bash
- # cd into the directory containing this script (from the bash faq 028)
- if [[ $BASH_SOURCE = */* ]]; then
- cd -- "${BASH_SOURCE%/*}/" || exit
- fi
- if [ "`type -t docker`" != "" ]; then
- docker="docker"
- elif [ "`type -t podman`" != "" ]; then
- docker="podman"
- else
- echo "Cannot find either docker or podman" >&2
- exit 1
- fi
- ./clone-repos || exit 1
- cd ..
- $docker build $* -t ${SIGMA_RS_DOCKER_PREFIX}sigma-rs -f Scripts/Dockerfile .
|
