1. Add warehouse
sudo wget https://dev.mysql.com/get/mysql-apt-config_0.8.13-1_all.deb
sudo dpkg -i mysql-apt-config_0.8.13-1_all.deb
Note: no special need to select OK when you add a warehouse like
2. Update the warehouse (important)
sudo apt update
If you still do not perform the update version 5.7 is installed by default
3. Install MySQL8.0
sudo apt install mysql-server
