diff options
| author | Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> | 2025-09-09 02:07:32 +0200 |
|---|---|---|
| committer | Lorenz Kästle <12514511+RincewindsHat@users.noreply.github.com> | 2025-09-09 02:07:32 +0200 |
| commit | fbd60d6a9d9ba5b45879280dcfda92379dec65da (patch) | |
| tree | a7c0e428be10bb27b6344c6531b804451c4d40cc /.github/os_detect.sh | |
| parent | b54869391faab7ef91586c81de21f18a61bac5aa (diff) | |
| parent | 615fec347cd575c0ee4343aa17ee99962f375f64 (diff) | |
| download | monitoring-plugins-fbd60d6a9d9ba5b45879280dcfda92379dec65da.tar.gz | |
Merge branch 'master' into refactor/check_curl
Diffstat (limited to '.github/os_detect.sh')
| -rw-r--r-- | .github/os_detect.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/os_detect.sh b/.github/os_detect.sh index 47c762d3..3c5956de 100644 --- a/.github/os_detect.sh +++ b/.github/os_detect.sh | |||
| @@ -22,4 +22,7 @@ else | |||
| 22 | return 1 | 22 | return 1 |
| 23 | fi | 23 | fi |
| 24 | export distro_id=$(grep '^ID=' $os_release_file|awk -F = '{print $2}'|sed 's/\"//g') | 24 | export distro_id=$(grep '^ID=' $os_release_file|awk -F = '{print $2}'|sed 's/\"//g') |
| 25 | export version_id=$(grep '^VERSION_ID=' $os_release_file|awk -F = '{print $2}'|sed 's/\"//g') | ||
| 25 | export platform_id=$(grep '^PLATFORM_ID=' /etc/os-release|awk -F = '{print $2}'|sed 's/\"//g'| cut -d":" -f2) | 26 | export platform_id=$(grep '^PLATFORM_ID=' /etc/os-release|awk -F = '{print $2}'|sed 's/\"//g'| cut -d":" -f2) |
| 27 | # Fedora dropped PLATFORM_ID: https://fedoraproject.org/wiki/Changes/Drop_PLATFORM_ID?#Drop_PLATFORM_ID | ||
| 28 | if [ -z $platform_id ]; then export platform_id=$(echo ${distro_id:0:1}${version_id}); fi | ||