network profile
| bio | website | bananeatomic.kegtux.org |
|---|---|---|
| location | Paris, France | |
| age | 29 | |
| visits | member for | 1 year, 2 months |
| seen | May 17 at 12:22 | |
| stats | profile views | 10 |
|
May 19 |
comment |
Recommended way of installing python packages on Arch Which python packages you want are not present in the official repositories? |
|
Jan 28 |
comment |
Mounting from dolphin vs commandline @darnir, what is the "dbus-send" command to mount? |
|
Jan 21 |
comment |
How to copy the output of pacman-color into a file and to display the output with the colors in the terminal Wow awesome it works !!! I had already read the question you linked but I hadn't understand the power of 'script'. And with the '-q' option is usefull to only print the command output. |
|
Jan 18 |
comment |
How does Gnome make the link between my music folder and the folder-music icon? Thanks for your answer, but my question is how Gnome makes the link between a folder and its icon. Not where is the default folder configuration. |
|
Jan 14 |
comment |
What tool to edit the /usr/share/mime/packages/freedesktop.org.xml file Thanks for your answer, but you gave me a link to a list of programs that indeed query the mime database but which one allow to modify the file icon of a mime type? For instance MIME-editor allow to edit a bit the mime database but I didn't find how to modify the file icon of a mime type. |
|
Jan 14 |
comment |
What tool to edit the /usr/share/mime/packages/freedesktop.org.xml file Absolutly, I need a program to modify the freedesktop.org.xml file. because I want to create an installation script that modifies the freedesktop.org.xml file and it would be easier for me to call a program that does the job instead of parsing and modifying myself the XML file. |
|
Jan 13 |
comment |
What tool to edit the /usr/share/mime/packages/freedesktop.org.xml file I would like to have a tool to script the modifications I want to do, this way it will be easy to modify the freedesktop.org.xml file. While without an appropriate tool I have to edit the XML file with an XML library in a more powerful language than bash. |
|
Oct 5 |
comment |
Use a script parameter in awk Awesome !!! Thanks for your quick answer |
