diff options
| author | Jan Wagner <waja@cyconet.org> | 2023-05-11 18:01:38 (GMT) |
|---|---|---|
| committer | waja <waja@users.noreply.github.com> | 2023-05-11 19:45:55 (GMT) |
| commit | 483ae9fca47a424bcdbb75bfd63c90afd28b9ccc (patch) | |
| tree | 4402213be3f8d39748c0109340f39346b7b89bac /.github | |
| parent | b3e066a82e67d58a251feb91159853bc37b3ce6a (diff) | |
| download | monitoring-plugins-483ae9fca47a424bcdbb75bfd63c90afd28b9ccc.tar.gz | |
CI: Fallback on software-properties-common
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/prepare_debian.sh | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/.github/prepare_debian.sh b/.github/prepare_debian.sh index 5222659..aa224ef 100755 --- a/.github/prepare_debian.sh +++ b/.github/prepare_debian.sh | |||
| @@ -5,13 +5,18 @@ set -e | |||
| 5 | 5 | ||
| 6 | export DEBIAN_FRONTEND=noninteractive | 6 | export DEBIAN_FRONTEND=noninteractive |
| 7 | 7 | ||
| 8 | sed "s/main/non-free contrib/g" /etc/apt/sources.list.d/debian.sources > /etc/apt/sources.list.d/debian-nonfree.sources | 8 | source /etc/os-release |
| 9 | apt-get update | 9 | |
| 10 | apt-get -y install software-properties-common | 10 | if [ ${ID} = "debian" ]; then |
| 11 | if [ $(lsb_release -is) = "Debian" ]; then | 11 | if [ -f /etc/apt/sources.list.d/debian.sources ]; then |
| 12 | apt-add-repository non-free | 12 | sed "s/main/non-free contrib/g" /etc/apt/sources.list.d/debian.sources > /etc/apt/sources.list.d/debian-nonfree.sources |
| 13 | apt-get update | 13 | else |
| 14 | apt-get update | ||
| 15 | apt-get -y install software-properties-common | ||
| 16 | apt-add-repository non-free | ||
| 17 | fi | ||
| 14 | fi | 18 | fi |
| 19 | apt-get update | ||
| 15 | apt-get -y install perl \ | 20 | apt-get -y install perl \ |
| 16 | autotools-dev \ | 21 | autotools-dev \ |
| 17 | libdbi-dev \ | 22 | libdbi-dev \ |