101 reputation
1
bio website
location Prague
age 30
visits member for 1 year, 7 months
seen Aug 15 at 14:06

Aug
15
comment How to grep standard error stream (stderr)?
+1 I used that to check cp output cp -r dir* to 2> >(grep -v "svn")
Jan
3
comment Why does F10 in gnome-terminal open the right-click menu?
Worked fine for me with Ubuntu 12.04
Jan
3
awarded  Supporter
Jan
3
comment Why does F10 in gnome-terminal open the right-click menu?
That wasn't working for me with Ubuntu 12.04, worked fine when I used 'ubind "F10"' as described in first answer.