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

cd ..

$docker run --rm -it -p 127.0.0.1:8000-8001:8000-8001 sigma-rs $*
