206 reputation
12
bio website
location
age
visits member for 1 year, 8 months
seen Mar 20 at 21:25

Aug
7
awarded  Yearling
Jul
10
answered Repeat each line multiple times
Jul
2
answered Removing second colon
Jul
2
awarded  Supporter
Jun
10
answered How to make 1:52 to 01:52 with eg.: sed?
Jun
10
answered Delete lines containing repeated text
Jun
10
comment print lines between start and end using sed
This can be shortened to sed -n -e '/^BEGIN$/,/^END$/{//!p}' input
Jan
26
answered sed: replacing newline at a given line (or last line)
Dec
24
answered How do I write a sed one-liner to add a character after every third character?
Nov
3
answered Fixing header and print
Oct
4
answered Extracting help message from script itself
Aug
7
awarded  Teacher
Aug
7
answered Get row data for non-matching column values