Make etc/ci/describe-system-config.sh POSIX-compliant

For alpine
mit-plv · Nov 10, 2023 · d7b2cc3 · d7b2cc3
1 parent abce041
commit d7b2cc3
Showing 1 changed file with 11 additions and 5 deletions.
diff --git a/etc/ci/describe-system-config.sh b/etc/ci/describe-system-config.sh
@@ -1,27 +1,32 @@
-#!/usr/bin/env bash
+#!/bin/sh
 
-cd -- "$( dirname -- "${BASH_SOURCE[0]}" )"
+cd -- "$( dirname -- "$0" )"
 cd ../..
 
-function run() {
+run() {
     "${SHELL}" -c "$@" || true
 }
 
 if [ ! -z "$CI" ]; then
-    function group() {
+    group() {
         echo "::group::$@"
         run "$@"
         echo "::endgroup::"
     }
 else
-    function group() { run "$@"; }
+    group() { run "$@"; }
 fi
 
 group lscpu
 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 ghc --version
 group gcc --version
 group ocamlc -config
@@ -30,3 +35,4 @@ group coqc --version
 group "true | coqtop"
 group etc/machine.sh
 group "echo PATH=$PATH"
+group "echo SHELL=$SHELL"