éfinition du dépôt pour l'installation et la mise à jour intégrée avec les système Debian, CentOS, Ub... ories]]
Pour éviter les conflics lors des mises à jour:
$ sudo vi /etc/apt/preferences.d/mariadb... n: release o=MariaDB
Pin-Priority: 1001
le nom à mettre pour "Pin: release o=MariaDB" est à reprendre dans le fichier conf/distribution fourni sur le
rer un cache de données: quand une table est mise à jour elle met à jour un timestamp dans une autre table. ceci permet de tenir des valeurs de last mod