diff options
Diffstat (limited to 'ci')
-rwxr-xr-x | ci/printenv.sh | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/ci/printenv.sh b/ci/printenv.sh new file mode 100755 index 000000000..4b7e03fa7 --- /dev/null +++ b/ci/printenv.sh | |||
@@ -0,0 +1,25 @@ | |||
1 | #!/bin/sh | ||
2 | # Print information that may be useful for debugging CI. | ||
3 | |||
4 | test -f /etc/os-release && . /etc/os-release | ||
5 | |||
6 | cat <<EOF | ||
7 | nproc: $(nproc) | ||
8 | kernel: $(uname -srvm) | ||
9 | distro: $PRETTY_NAME | ||
10 | sh: $(ls -l /bin/sh | sed 's|.* /bin|/bin|') | ||
11 | user: $(id | cut -f -2 -d ' ') | ||
12 | |||
13 | [/etc/os-release] | ||
14 | $(cat /etc/os-release) | ||
15 | EOF | ||
16 | |||
17 | if test -z "$CI_VERBOSE"; then | ||
18 | exit | ||
19 | fi | ||
20 | |||
21 | cat <<EOF | ||
22 | |||
23 | [env] | ||
24 | $(env | LC_ALL=C sort) | ||
25 | EOF | ||