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

As of October 2025, repository installation through deb package:

wget "https://dev.mysql.com/downloads/file/?id=546883"
#or
wget "https://repo.mysql.com//mysql-apt-config_0.8.36-1_all.deb"

sudo dpkg -i mysql-apt-config_0.8.36-1_all.deb