353 reputation
618
bio website sourceforge.net/projects/…
location Paris, France
age 53
visits member for 3 years, 8 months
seen Jul 9 at 14:05

Please delete this account.


May
15
comment Will Unity be the only option during install?
Reminds me of Henry Ford: "you can have a Type T any color you like... provided it's black".
May
15
comment Remove unity from 11.04
@ShroudedCloud, That's very bad news. @TM, besides, even if you opt out of Unity in Natty, there are frequent freezes of the UI and all you can do is press the power button. Looks like it's time to get out of Ubuntu altogether it seems.
May
3
comment FireFox video flashing white boxes
@funkymonk. I've observed the same symptoms as described by @jiewmeng. about:plugins in both ff in chrome show flash version 10.2.159. As described by @jiewmeng, this happens in FF but not in chrome (hope you don't mind my stepping in).
May
3
comment Is there a way to blacklist an individual application from using overlay-scrollbars?
+1, precious tip !
May
2
comment How do adjust the launcher slide out time to be instant?
@Alan, I don't think you should delete your answer, if I may say. It is easier to follow.
Apr
15
comment Colour font installation (emoji) in Maverick Meerkat
Why am I not surprised !
Mar
31
comment Login screen problem, boots into text mode instead of GDM
Did you try the recovery mode (usually available from the Grub boot manager menu) and reconfigure your xorg.conf ?
Mar
22
comment How are typical users expected to read the documentation in /usr/share/doc?
+1 for the detail. As for me, as also mentioned by @nelaar, I just add a few directives to the Apache <Directory "/usr/share/doc/"> directory declaration (usually in /etc/apache2/sites-enabled/000-default) and I believe decompression is handled by the browsers themselves. (AddEncoding x-gzip gz tgz and AddType text/plain .gz).
Mar
22
comment How are typical users expected to read the documentation in /usr/share/doc?
I'm not too sure if this is a different solution. I've just added AddEncoding x-gzip gz tgz AddType text/plain .gz to my <Directory "/usr/share/doc/"> entry and I believe the decompression is actually handled on the client side.
Feb
22
comment how to install jdk1.6 in ubuntu
To add JAVA_HOME and JDK_HOME to your environment variables, one usual way is to add their definition to /etc/environment