175 reputation
6
bio website wiki.bananeatomic.fr
location Geneva, Switzerland
age 30
visits member for 2 years, 6 months
seen Jun 17 at 19:48

Jul
2
awarded  Curious
Jun
20
comment How to install Cinnamon with SLiM on Arch Linux?
right! It's really a duplicate because he asks the same question on superuser and unix.
Jun
20
answered How to install Cinnamon with SLiM on Arch Linux?
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
accepted How to copy the output of pacman-color into a file and to display the output with the colors in the terminal
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
20
asked How to copy the output of pacman-color into a file and to display the output with the colors in the terminal
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
revised What tool to edit the /usr/share/mime/packages/freedesktop.org.xml file
added 345 characters in body
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
awarded  Editor
Jan
13
revised What tool to edit the /usr/share/mime/packages/freedesktop.org.xml file
added 130 characters in body
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.
Jan
12
asked What tool to edit the /usr/share/mime/packages/freedesktop.org.xml file
Jan
11
asked How does Gnome make the link between my music folder and the folder-music icon?
Nov
14
awarded  Tumbleweed
Nov
7
asked Problem when I use the webdings font in firefox or inkscape
Oct
5
awarded  Scholar