Monday, March 31, 2008

Oh my God.



(mio nonno, a 86 anni, usa internet senza grossi problemi!)

Sunday, March 23, 2008

Fixing man color output.

It took me 1h to find the damn solution: add the -c option to groff, troff and jroff in /etc/man.conf, because the new color output by groff screws the man output quite a bit.