Wulf's Various Things

https://dev.mysql.com/downloads/workbench/

Add official repository

echo "deb http://repo.mysql.com/apt/ubuntu/ focal mysql-tools" | sudo tee /etc/apt/sources.list.d/mysql.list

Note the key error:

sudo apt update

Insert key in this command:

sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys <key value>

Update and install MySQL

sudo apt update
sudo apt install mysql-workbench-community