Wulf's Various Things

This page is read only. You can view the source, but not change it. Ask your administrator if you think this is wrong.

===== MySQL Workbench =====

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

Add official repository
<code>
echo "deb http://repo.mysql.com/apt/ubuntu/ focal mysql-tools" | sudo tee /etc/apt/sources.list.d/mysql.list
</code>
Note the key error:
<code>
sudo apt update
</code>
Insert key in this command:
<code>
sudo apt-key adv --keyserver keyserver.ubuntu.com --recv-keys <key value>
</code>
Update and install MySQL
<code>
sudo apt update
sudo apt install mysql-workbench-community
</code>

Ubuntu 24.04:
<code>
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
</code>


As of October 2025, repository installation through deb package:
<code>
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

</code>