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

Ubuntu 24.04:

wget https://dev.mysql.com/get/Downloads/MySQLGUITools/mysql-workbench-community_8.0.40-1ubuntu24.04_amd64.deb

#wget https://dev.mysql.com/get/Downloads/MySQLGUITools/mysql-workbench-community_8.0.38-1ubuntu24.04_amd64.deb

sudo apt-get install libproj25 proj-data
sudo dpkg -i mysql-workbench-community_8.0.40-1ubuntu24.04_amd64.deb