287 reputation
210
bio website
location France
age 34
visits member for 2 years, 6 months
seen 11 hours ago

Feb
4
awarded  Popular Question
Sep
3
awarded  Yearling
May
10
accepted sed: how to replace line if found or append to end of file if not found?
May
10
comment sed: how to replace line if found or append to end of file if not found?
This being the most terse version, I'll accept this one as the answer.
May
2
revised sed: how to replace line if found or append to end of file if not found?
added 3 characters in body
May
2
revised sed: how to replace line if found or append to end of file if not found?
grammar i guess...
May
2
revised sed: how to replace line if found or append to end of file if not found?
grammar
May
2
revised sed: how to replace line if found or append to end of file if not found?
grammar
May
2
asked sed: how to replace line if found or append to end of file if not found?
Apr
23
awarded  Nice Answer
Mar
8
answered In GDB, how can I jump directly up to the topmost call stack frame?
Nov
6
awarded  Benefactor
Nov
5
awarded  Scholar
Nov
5
accepted PS1 window title under PuTTY with GNU screen
Oct
30
comment PS1 window title under PuTTY with GNU screen
@ppumkin: The machines are CentOs and Debian. Anyway, I prefer asking on StackOverflow than on an Ubuntu forum; Ubuntu users probably lurk here too ;-)
Oct
30
awarded  Promoter
Oct
30
comment PS1 window title under PuTTY with GNU screen
Screen versions: - Screen version 4.00.03 (FAU) 23-Oct-06 - Screen version 4.00.03jw4 (FAU) 2-May-06
Oct
24
answered Why do vim's StatusLine and StatusLineNC do not have the same background color?
Oct
24
asked Why do vim's StatusLine and StatusLineNC do not have the same background color?
Sep
11
asked PS1 window title under PuTTY with GNU screen