From 42f473316346d32685ad44fd72b100c729d7a2f9 Mon Sep 17 00:00:00 2001
From: Faustin Lammler <faustin@fala.red>
Date: Thu, 28 May 2020 23:06:02 +0200
Subject: [PATCH] Use a fixed filename for mariadb repository source list

By default, ansible adds a source list file name based on the repository
source url. Using a fixed file name permits to change mirror without
duplicating source list files.

See: https://docs.ansible.com/ansible/latest/modules/apt_repository_module.html
---
 tasks/setup.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tasks/setup.yml b/tasks/setup.yml
index daa6b8d..ba35627 100644
--- a/tasks/setup.yml
+++ b/tasks/setup.yml
@@ -16,6 +16,7 @@
 - name: Setup mariadb repository sourcelist entry
   apt_repository:
     repo: deb {{ mariadb_use_official_repo_url }}/{{ mariadb_use_official_repo_version }}/debian {{ ansible_distribution_release }} main
+    filename: mariadb
     state: present
   when: mariadb_use_official_repo