Sandbox::https://github.com/httpsgithu/client/blob/master/.github/workflows/run-in-docker.sh

Visitar URL original

client/.github/workflows/run-in-docker.sh at master · httpsgithu/client · GitHub

Repository navigation

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

#! /bin/bash

image="$1"

shift

commands="$@"

if [[ "$image" == "" ]] || [[ "${commands[@]}" == "" ]]; then

echo "Usage: bash $0 <image> <commands>"

exit 1

fi

set -exo pipefail

extra_args=()

if tty -s; then

extra_args+=("-t")

fi

docker run \

--rm \

--user "$(id -u)" \

-i "${extra_args[@]}" \

-e TX_TOKEN \

-e HOME \

-v "$HOME:$HOME" \

-v "$(readlink -f .)":/ws \

--entrypoint sh \

-w /ws \

"$image" \

-c "${commands[@]}"