commit c492ab304b678044d4c66cad3ca75a5e16bdb2c9 parent d2fb12da002968e4c323816ab5be54ccf6cb63b9 Author: Yersa Nordman <yersa@finwo.nl> Date: Sun, 8 Oct 2023 19:31:47 +0200 Removed bash dependency in install-pkg Diffstat:
| M | .github/install-pkg.sh | | | 16 | +++++++--------- |
1 file changed, 7 insertions(+), 9 deletions(-)
diff --git a/.github/install-pkg.sh b/.github/install-pkg.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/usr/bin/env sh install_cmd="" os="unknown" @@ -24,13 +24,11 @@ if [ "unknown" == "$os" ]; then exit 1; fi -# Catch alternative packages -declare -A pkg_alt -# pkg_alt["void_pandoc"]="panini" -if [ -z "${pkg_alt[${os}_${1}]}" ]; then - pkg=$1 -else - pkg="${pkg_alt[${os}_${1}]}" -fi +pkg=${1} +case "${os}_${1}" in + # void_pandoc) pkg="panini" ;; + *) # Intentionally empty + ;; +esac ${install_cmd} ${pkg}