Update MariaDB repository for Ubuntu 20.04 LTS

This commit is contained in:
VirtuBox
2020-05-14 01:04:38 +02:00
parent 2573cbe13b
commit 4e55d169a8

View File

@@ -29,8 +29,7 @@ def pre_pref(self, apt_packages):
if ("mariadb-server" in apt_packages or "mariadb-client" in apt_packages):
# add mariadb repository excepted on raspbian and ubuntu 19.04
if ((not WOVar.wo_distro == 'raspbian') and
(not WOVar.wo_platform_codename == 'focal')):
if not WOVar.wo_distro == 'raspbian':
Log.info(self, "Adding repository for MySQL, please wait...")
mysql_pref = (
"Package: *\nPin: origin mariadb.mirrors.ovh.net"