diff options
| author | Radon Rosborough <radon@intuitiveexplanations.com> | 2025-01-21 22:54:37 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-21 22:54:37 -0800 |
| commit | e112fe1bf4fdaef1c9ab741590ac45b06dc01f76 (patch) | |
| tree | 1b613edac03e6d1af2c9f9d6ae447ed6a30418f2 /scripts/docker-run.bash | |
| parent | 049325e7734603e3c7ba05f26016beccafefb473 (diff) | |
Add support for podman (#343)
Helps to test #331. No reason that docker should work and podman
shouldn't.
Diffstat (limited to 'scripts/docker-run.bash')
| -rwxr-xr-x | scripts/docker-run.bash | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/scripts/docker-run.bash b/scripts/docker-run.bash index e7de1f4..1a8f9a7 100755 --- a/scripts/docker-run.bash +++ b/scripts/docker-run.bash @@ -4,9 +4,13 @@ set -euo pipefail repo="$(git rev-parse --show-toplevel)" -docker=(docker) -if [[ "$OSTYPE" != darwin* ]] && [[ "$EUID" != 0 ]]; then - docker=(sudo -E "${docker[@]}") +if [[ -z "${USE_PODMAN:-}" ]]; then + docker=(docker) + if [[ "$OSTYPE" != darwin* ]] && [[ "$EUID" != 0 ]]; then + docker=(sudo -E "${docker[@]}") + fi +else + docker=(podman) fi it=() |