#!/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 .