I guess I wasn’t allowed to ask any questions about 18.10, so I updated distros to 19.04 and it’s the exact same problem I had with 18.10 described here: can't install mysql 8 on ubuntu 18.10
So I’m on the most recent version, I did grab 8.13 this time:
- wget https://dev.mysql.com/get/mysql-apt-config_0.8.13-1_all.deb
- dpkg -i mysql-apt-config_0.8.13-1_all.deb
- vi /etc/apt/sources.list.d/mysql.list (shows 8 is configured)
- apt install mysql-server (shows it’s still pointing to 5.7)
- apt-cache show mysql-server (still shows 5.7)
- apt update (just in case, made no difference)