blob: 1a8f9a7e4966833e54f5daff48ae30698d82bd24 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#!/usr/bin/env bash
set -euo pipefail
repo="$(git rev-parse --show-toplevel)"
if [[ -z "${USE_PODMAN:-}" ]]; then
docker=(docker)
if [[ "$OSTYPE" != darwin* ]] && [[ "$EUID" != 0 ]]; then
docker=(sudo -E "${docker[@]}")
fi
else
docker=(podman)
fi
it=()
if [[ -t 0 ]]; then
it+=(-it)
fi
exec "${docker[@]}" run "${it[@]}" --rm -v "${repo}:/src" \
--entrypoint=/src/scripts/docker-pid1.bash "$@"
|
