Now, all we have left to do is to change change the command that runs the app with the one I showed you above (replacing the GTK theme with the one you like + works, of course). Installation on Ubuntu 10. Works flawlessly with 0 conflicts and it's still dark theme, so I'm sticking with it. Installation on Ubuntu 10.10 The official MySQL site includes DEB packages for the latest versions of both WorkBench and Ubuntu, in 32 and 64 bits: 'Ubuntu Linux' in an option in the platform dropdown list. If you have it installed, you can try it out yourself: $ env GTK_THEME='Adwaita-dark' mysql-workbench %f In my case, since I'm all into dark theme but Whitesur Dark theme failed, I chose Adwaita-dark. Now, what you are going to do, is find one that you like + works well with 0 glitches. In this case, I'll MySql workbench with the default Adwaita theme that comes with my distro: $ env GTK_THEME='Adwaita' mysql-workbench %fĪnd it will execute that specific app with the GTK theme. How do you do that? you may ask, you can run this command in the terminal replacing with whatever theme you have installed and with the GUI app you are going to run: $ env GTK_THEME='' %f The only way to "solve" this, is to use a different theme, but only for MySql Workbench. For starters, this is what MySql looks like with this theme:Īs you can see the current text I have selected glitches. My personal favorite GTK theme and the one I always use is WhiteSur-dark, tho since it's not perfectly optimized (I guess) some apps look a bit off. MySQL Workbench is development, administration and data modeling tool for MySQL. Install MySQL on your Ubuntu installation Password: cset Install MySQL Workbench In MySQL Workbench Create a database called CSET Create a table called Students. I suppose you already know how MySql work, so now I'm going to explain some issues I ran into:Ĭan't start a MySql connection in WorkbenchĬonflict with GTK theme (Workbench glitches)Ĭonflict with GTK theme + how to set darktheme $ sudo apt-get update & sudo apt-get upgrade # update and upgrade the system In case something went wrong, or couldn’t finish installation (happened to me at first, but it was something I caused basically) due to lack of some dependencies, then: $ sudo apt -fix-broken install $ sudo apt-get update & sudo apt-get upgrade $ mkdir /tmp/mysql_workbench_install & cd /tmp/mysql_workbench_install Installation links can be found here): $ sudo apt-get install wget To make life easier, copy and paste the following commands in the terminal (for Ubuntu 20.10 only, although you can also change the link below next to wget command with the one you want for your ubuntu version. You can just visit MySql’s download page and get the.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |