Skip to content

Commit

Permalink
Update describe-system-config.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonGross authored Nov 11, 2023
1 parent 2b0b55c commit 5f9487c
Showing 1 changed file with 8 additions and 8 deletions.
16 changes: 8 additions & 8 deletions etc/ci/describe-system-config.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,17 +5,17 @@ cd ../..

if [ ! -z "${SHELL}" ]; then
run() {
"${SHELL}" -c "$@" || true
"${SHELL}" -c "$*" || true
}
else
run() {
/bin/sh -c "$@" || true
/bin/sh -c "$*" || true
}
fi

if [ ! -z "$CI" ]; then
group() {
echo "::group::$@"
echo "::group::$*"
run "$@"
echo "::endgroup::"
}
Expand All @@ -28,11 +28,11 @@ group uname -a
group lsb_release -a
group ulimit -aH
group ulimit -aS
group "cat /etc/os-release"
group "cat /proc/cpuinfo"
group "cat /proc/meminfo"
group "apk info"
group "dpkg -l"
group cat /etc/os-release
group cat /proc/cpuinfo
group cat /proc/meminfo
group apk info
group dpkg -l
group ghc --version
group ghc -v
group gcc --version
Expand Down

0 comments on commit 5f9487c

Please sign in to comment.