fix: change key server

This commit is contained in:
Adrien Waksberg 2022-04-07 16:22:54 +02:00
parent fcbf14dc3a
commit e109a23cfa

View file

@ -4,7 +4,7 @@ mariadb_branch: 10.6
mariadb_repository: | mariadb_repository: |
deb http://mariadb.mirrors.ovh.net/MariaDB/repo/{{ mariadb_branch }}/debian {{ ansible_distribution_release }} main deb http://mariadb.mirrors.ovh.net/MariaDB/repo/{{ mariadb_branch }}/debian {{ ansible_distribution_release }} main
mariadb_repository_key_id: '0xF1656F24C74CD1D8' mariadb_repository_key_id: '0xF1656F24C74CD1D8'
mariadb_repository_key_server: keyserver.ubuntu.com mariadb_repository_key_server: hkp://keyserver.ubuntu.com:80
mariadb_user: root mariadb_user: root
mariadb_master: no mariadb_master: no
mariadb_autorestart: no mariadb_autorestart: no