CI: Fix POSIX compliance

This replaces bash-specific syntax with POSIX-compliant alternatives for
better portability across different shell environments.

Author: jserv

.ci/boot-linux-prepare.sh

@@ -16,10 +16,10 @@ which mkfs.ext4 > /dev/null 2>&1 || which $(brew --prefix e2fsprogs)/sbin/mkfs.e
         echo "Error: mkfs.ext4 not found"
         exit 1
     }
-which 7z > /dev/null 2>&1 || {
-    echo "Error: 7z not found"
-    exit 1
-}
+# Optional tooling used later in the test suite
+if ! command -v debugfs > /dev/null 2>&1 && ! command -v 7z > /dev/null 2>&1; then
+    print_warning "Neither debugfs nor 7z is available; virtio-blk verification will be skipped."
+fi
 
 ACTION=$1
 

.ci/boot-linux.sh

@@ -6,13 +6,54 @@ SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 
 check_platform
 
-function cleanup
+cleanup()
 {
     sleep 1
     pkill -9 rv32emu
 }
 
-function ASSERT
+check_image_for_file()
+{
+    local image_path=$1
+    local file_path=$2
+    local tool_available=0
+    local debugfs_cmd
+
+    debugfs_cmd=$(command -v debugfs 2> /dev/null || true)
+    if [ -z "${debugfs_cmd}" ] && [ -x /sbin/debugfs ]; then
+        debugfs_cmd=/sbin/debugfs
+    fi
+
+    if [ -n "${debugfs_cmd}" ]; then
+        tool_available=1
+        if "${debugfs_cmd}" -R "stat ${file_path}" "${image_path}" > /dev/null 2>&1; then
+            return 0
+        fi
+    fi
+
+    if command -v 7z > /dev/null 2>&1; then
+        tool_available=1
+        if 7z l "${image_path}" | grep -q "${file_path}"; then
+            return 0
+        fi
+    fi
+
+    if [ -n "${debugfs_cmd}" ]; then
+        tool_available=1
+        if sudo "${debugfs_cmd}" -R "stat ${file_path}" "${image_path}" > /dev/null 2>&1; then
+            return 0
+        fi
+    fi
+
+    if [ "${tool_available}" -eq 0 ]; then
+        print_warning "Skipping verification of ${file_path} in ${image_path}: neither debugfs nor 7z is available."
+        return 0
+    fi
+
+    return 1
+}
+
+ASSERT()
 {
     $*
     local RES=$?
@@ -130,9 +171,12 @@ for i in "${!TEST_OPTIONS[@]}"; do
 
     OPTS="${OPTS_BASE}"
     # No need to add option when running base test
-    if [[ ! "${TEST_OPTIONS[$i]}" =~ "base" ]]; then
-        OPTS+="${TEST_OPTIONS[$i]}"
-    fi
+    case "${TEST_OPTIONS[$i]}" in
+        *base*) ;;
+        *)
+            OPTS+="${TEST_OPTIONS[$i]}"
+            ;;
+    esac
     RUN_LINUX="build/rv32emu ${OPTS}"
 
     ASSERT expect <<- DONE
@@ -145,13 +189,20 @@ for i in "${!TEST_OPTIONS[@]}"; do
     cleanup
 
     printf "\nBoot Linux Test: [ ${MESSAGES[$ret]}${COLOR_N} ]\n"
-    if [[ "${TEST_OPTIONS[$i]}" =~ vblk ]]; then
-        # read-only test first, so the emu.txt definitely does not exist, skipping the check
-        if [[ ! "${TEST_OPTIONS[$i]}" =~ readonly ]]; then
-            7z l ${VBLK_IMG} | grep emu.txt > /dev/null 2>&1 || ret=4
-        fi
-        printf "Virtio-blk Test: [ ${MESSAGES[$ret]}${COLOR_N} ]\n"
-    fi
+    case "${TEST_OPTIONS[$i]}" in
+        *vblk*)
+            # read-only test first, so the emu.txt definitely does not exist, skipping the check
+            case "${TEST_OPTIONS[$i]}" in
+                *readonly*) ;;
+                *)
+                    if ! check_image_for_file "${VBLK_IMG}" emu.txt; then
+                        ret=4
+                    fi
+                    ;;
+            esac
+            printf "Virtio-blk Test: [ ${MESSAGES[$ret]}${COLOR_N} ]\n"
+            ;;
+    esac
 done
 
 exit ${ret}

.ci/gdbstub-test.sh

@@ -9,8 +9,8 @@ prefixes=("${CROSS_COMPILE}" "riscv32-unknown-elf-" "riscv-none-elf-")
 for prefix in "${prefixes[@]}"; do
     utility=${prefix}gdb
     set +e # temporarily disable exit on error
-    command -v "${utility}" &> /dev/null
-    if [[ $? == 0 ]]; then
+    command -v "${utility}" > /dev/null 2>&1
+    if [ $? = 0 ]; then
         GDB=${utility}
     fi
     set -e

.ci/riscv-toolchain-install.sh

@@ -9,11 +9,11 @@ SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
 check_platform
 mkdir -p toolchain
 
-if [[ "$#" == "0" ]] || [[ "$1" != "riscv-collab" ]]; then
+if [ "$#" = "0" ] || [ "$1" != "riscv-collab" ]; then
     GCC_VER=15.2.0-1
     TOOLCHAIN_REPO=https://github.com/xpack-dev-tools/riscv-none-elf-gcc-xpack
 
-    if [[ "${OS_TYPE}" == "Linux" ]]; then
+    if [ "${OS_TYPE}" = "Linux" ]; then
         case "${MACHINE_TYPE}" in
             "x86_64")
                 TOOLCHAIN_URL=${TOOLCHAIN_REPO}/releases/download/v${GCC_VER}/xpack-riscv-none-elf-gcc-${GCC_VER}-linux-x64.tar.gz