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>