I want to manually customize my plank dock but when I go to the plank directory, looking for the settings file, I only find the launchers directory, and not what I'm looking for.
I already searched on some forums, but everybody recommend to use docky or another dock which is not available for ubuntu 19.04, the version I'm currently using.
Does somebody know how to solve this?
Plank makes use of GSettings and dconf to manage it's configuration. The configuration is stored together with the configuration of other applications which use GSettings in a single file. You will find this file in ~/.config/dconf/, in my system it's ~/.config/dconf/user. This is not a text file, you can't edit it in a text editor.
Use Plank's preferences window to edit your docks, to open the preferences window hold Ctrl and click the right mouse button while the cursor is over the dock, in the context menu choose Preferences.
To change the color of the little circle under the application icon that is shown when a window is open, you will have to either choose a different theme or edit the theme you are currently using. Plank themes are located in /usr/share/plank/themes/ or ~/.local/share/plank/themes/.
You can also install additional themes, take a look at
dconf-editor will give you the ability to edit the plank settings if it is stubbornly auto-hiding (try changing the 'auto' setting under 'hide-mode' in /net/launchpad/plank/docks/dock1 to 'Intellihide'), then you can access the more friendly plank menu with Ctrl-rClick as others have mentioned. I have had issues in MATE with running plank on the bottom, widgets in the panel conflict/preempt plank under several themes -- I use {blush} Redmond as my 'daily driver', and plank sometimes misbehaves unless I locate it Left or Right with auto-hide set to "Intellihide".
