From 55fffa809312f6c0ae40528fd1ee66b7559c4650 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Tue, 14 May 2024 21:22:08 +0200 Subject: Merging upstream version 0.17.1. Signed-off-by: Daniel Baumann --- ci/env-linux.inc.sh | 46 ---------------------------------------------- 1 file changed, 46 deletions(-) delete mode 100644 ci/env-linux.inc.sh (limited to 'ci/env-linux.inc.sh') diff --git a/ci/env-linux.inc.sh b/ci/env-linux.inc.sh deleted file mode 100644 index 9267972..0000000 --- a/ci/env-linux.inc.sh +++ /dev/null @@ -1,46 +0,0 @@ -#!/usr/bin/env bash -# shellcheck disable=SC1091 - -: "${CORES:=$(grep -c '^$' /proc/cpuinfo)}" -export CORES -export MAKE=make - -DIST="$(get_linux_dist)" -DIST_VERSION_ID="$(sh -c '. /etc/os-release && echo $VERSION_ID')" -DIST_VERSION="${DIST}-${DIST_VERSION_ID}" - -export DIST -export DIST_VERSION -export DIST_VERSION_ID - -case "${DIST}" in - centos|fedora) - if command -v dnf >/dev/null; then - export YUM=dnf - else - export YUM=yum - fi - export SUDO=sudo - ;; - ubuntu) - export SUDO=sudo - ;; -esac - -# XXX: debug function for locale -case "${DIST}" in - fedora|centos) - debuglocale() { - locale -a - localedef --list-archive - if ! command -v diff >/dev/null; then - "${YUM}" -y -q install diffutils - fi - bash -c 'diff -u <(localedef --list-archive | sort) <(locale -a | sort) || :' - localedef -c -i "${LC_ALL%.*}" -f UTF-8 "${LC_ALL}" - # Error: character map file `UTF-8' not found: No such file or directory - # Error: cannot read character map directory `/usr/share/i18n/charmaps': No such file or directory - locale -a | grep "${LC_ALL}" || : - } - ;; -esac -- cgit v1.2.3