1
0
mirror of https://github.com/e107inc/e107.git synced 2025-01-17 20:58:30 +01:00

Fix outdated Git on Debian stretch

by enabling Debian backports
This commit is contained in:
Nick Liu 2019-12-29 13:47:03 +01:00
parent d7e083b59a
commit 80b49a5d14
No known key found for this signature in database
GPG Key ID: 1167C5F9C9897637

View File

@ -41,11 +41,21 @@ jobs:
--health-retries 5 --health-retries 5
steps: steps:
- name: Enable Debian backports
run: |
grep -m1 -P '^deb http://deb.debian.org/debian [a-z]+ main' /etc/apt/sources.list |
awk '$3 = $3"-backports"' >> /etc/apt/sources.list
- name: Update operating system software repository - name: Update operating system software repository
run: apt-get update run: apt-get update
- name: Install operating system dependencies - name: Install operating system dependencies
run: apt-get install -y git zip libzip-dev run: |
DEBIAN_RELEASE=$(
grep -m1 -P '^deb http://deb.debian.org/debian [a-z]+ main' /etc/apt/sources.list |
awk '{print $3}'
)
apt-get -t "${DEBIAN_RELEASE}-backports" install -y git zip libzip-dev
- name: PECL zip - name: PECL zip
run: docker-php-ext-install zip run: docker-php-ext-install zip