fix(linux): Remove cosmic distribution

18.10 was end-of-life July 18, 2019 and launchpad is rejecting any further package updates for that version.

(cherry picked from commit bdd1244860)
This commit is contained in:
Darcy Wong 2020-02-03 14:16:33 +07:00 • committed by Eberhard Beilharz
parent 56c87a9ad6
commit ce3ca67f36
No known key found for this signature in database
GPG key ID: 64A39A9E98B53105
3 changed files with 3 additions and 3 deletions

View file

@ -14,7 +14,7 @@ DEBIAN_SUITES=($UNSTABLE_CODENAME $TESTING_CODENAME $STABLE_CODENAME $STABLE_BAC
"experimental" "unstable" "testing" "stable")
# List of Ubuntu suites. Update these when needed.
UBUNTU_SUITES=("disco", "cosmic" "bionic" "xenial" "trusty")
UBUNTU_SUITES=("disco" "bionic" "xenial" "trusty")
# Mirrors to use. Update these to your preferred mirror.
DEBIAN_MIRROR="deb.debian.org"

View file

@ -3,7 +3,7 @@
# If needed set cowbuilder up for building Keyman Debian packages
# Then cowbuilder update
distributions='disco cosmic bionic xenial'
distributions='disco bionic xenial'
dpkgcheck=`dpkg-query -l cowbuilder`
if [ $? != 0 ]; then

View file

@ -45,7 +45,7 @@ fi
if [ "${DIST}" != "" ]; then
distributions="${DIST}"
else
distributions="xenial bionic cosmic disco"
distributions="xenial bionic disco"
fi
if [ "${PACKAGEVERSION}" != "" ]; then