MySQL Bugs: #95160: MySQL APT Repository installing DEB not compatible with Ubuntu 19.04 Disco

Bug #95160	MySQL APT Repository installing DEB not compatible with Ubuntu 19.04 Disco
Submitted:	26 Apr 2019 14:46	Modified:	24 May 2019 8:47
Reporter:	Fabius -	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Package Repos	Severity:	S3 (Non-critical)
Version:	0.8.12-1	OS:	Ubuntu (19.04 Disco)
Assigned to:		CPU Architecture:	Any
Tags:	apt, deb, repository

Description:
Even though packages for Ubuntu 19.04 Disco were added to MySQL APT Repository:
http://repo.mysql.com/apt/ubuntu/dists/disco/
the DEB file "mysql-apt-config_0.8.12-1_all.deb" which is available for download at:
https://dev.mysql.com/downloads/repo/apt/
and that adds the repository itself is not compatible with this Ubuntu release and prompts to choose another Ubuntu release (like Cosmic or older ones) during installation.

How to repeat:
sudo dpkg -i mysql-apt-config_0.8.12-1_all.deb

Suggested fix:
Add support for Ubuntu 19.04 Disco

Thank you for the bug report.

Seems the DEB was updated from 0.8.12-1 to 0.8.13-1
It doesnt prompt to choose another Ubuntu release like previous version did, but it directly adds "cosmic" distribution instead of "disco" one.

I figured out that i simply had to run:
sudo dpkg --purge mysql-apt-config
to clean the value assigned to debconf mysql-apt-config/repo-codename (which was previously set to "cosmic")

After doing that i reinstalled the deb and it properly got the current distro version, which is "disco".

It could be a good idea to add this tip to the quick guide page:
https://dev.mysql.com/doc/mysql-apt-repo-quick-guide/en/
under "Adding the MySQL APT Repository" section.

Posted by developer:
 
Thanks for the suggestion! It's a very good idea, since the distro codename getting "stuck" for apt-config when doing a dist-upgrade is a known issue.
Aside from that, disco should be correctly supported as of 0.8.13, so will close this.