LinuxQuestions.org

LinuxQuestions.org (/questions/)
-   Linux - Desktop (https://www.linuxquestions.org/questions/linux-desktop-74/)
-   -   Manually add keys to gconf XML files (https://www.linuxquestions.org/questions/linux-desktop-74/manually-add-keys-to-gconf-xml-files-814773/)

gusblake 06-17-2010 01:23 PM

Manually add keys to gconf XML files
 
Hi,

I'm on Fedora 12 i386 and I'm looking for a way to reset the padding on panel launcher icons. I tried installing gconf-editor to change the key but it gave me an error:

Quote:

GConf error:#012 Failed to
contact configuration server; some possible causes are that you need to enable
TCP/IP networking for ORBit, or you have stale NFS locks due to a system crash.
See http://projects.gnome.org/gconf/ for information. (Details - 1: Could not
send message to gconf daemon: Connection is closed)
This isn't solved by deleting /tmp files, so I thought maybe I could edit the XML files in ~/.gconf manually.

The key is:

Code:

/apps/panel/toplevels/top-panel/padding
but I can't find a folder relating to this in .gconf, so should I create it manually? If so, what would the key look like in XML?

Cheers,
Gus

Edit - I have found the solution now:

~/.gconf/apps/panel/toplevels/bottom_panel/%gconf.xml:

Code:

<?xml version="1.0"?>
<gconf>
        <entry name="x_right" mtime="1276803307" type="int" value="0"/>
        <entry name="x_centered" mtime="1276803307" type="bool" value="true"/>
        <entry name="expand" mtime="1276803312" type="bool" value="true"/>
        <entry name="enable_arrows" mtime="1276803190" type="bool" value="false"/>
        <entry name="auto_hide" mtime="1276799167" type="bool" value="false"/>
        <entry name="size" mtime="1276799155" type="int" value="24"/>
        <entry name="enable_buttons" mtime="1276803191" type="bool" value="false"/>
        <entry name="padding" mtime="1276808340" type="int" value="1"/>
</gconf>

Another thing to note is that you have to change a panel before its gconf file appears; setting the height to someting different will do it.

EricTRA 06-18-2010 12:53 AM

Hi,

Great, thank you for sharing your solution.

Kind regards,

Eric


All times are GMT -5. The time now is 09:33 AM.