run-docker 421 B

12345678910111213141516171819
  1. #!/bin/bash
  2. # cd into the directory containing this script (from the bash faq 028)
  3. if [[ $BASH_SOURCE = */* ]]; then
  4. cd -- "${BASH_SOURCE%/*}/" || exit
  5. fi
  6. if [ "`type -t docker`" != "" ]; then
  7. docker="docker"
  8. elif [ "`type -t podman`" != "" ]; then
  9. docker="podman"
  10. else
  11. echo "Cannot find either docker or podman" >&2
  12. exit 1
  13. fi
  14. cd ..
  15. $docker run --rm -it -p 127.0.0.1:8000-8001:8000-8001 sigma-rs $*