| 12345678910111213141516171819 |
- #!/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 $*
|