scripts/docker-run.bash


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

#!/usr/bin/env bash

set -euo pipefail

repo="$(git rev-parse --show-toplevel)"

docker=(docker)
if [[ "$OSTYPE" != darwin* ]] && [[ "$EUID" != 0 ]]; then
    docker=(sudo -E "${docker[@]}")
fi

it=()

if [[ -t 0 ]]; then
    it+=(-it)
fi

exec "${docker[@]}" run "${it[@]}" --rm -v "${repo}:/src"  \
     --entrypoint=/src/scripts/docker-pid1.bash "$@"