113 reputation
4
bio website rhymingpanda.com
location
age
visits member for 4 years, 3 months
seen Dec 18 '14 at 23:47

Feb
1
awarded  Informed
Oct
16
awarded  Supporter
Jan
28
comment Format output from /usr/bin/time to ignore parts of seconds
I only needed the last line to be formatted, so I added "$" to the beginning of each sed directive. The command changes to sed '$s/:([^:]\+)$/m\1/;$s/:/h/;s/\..*//;$s/$/s/'
Jan
28
awarded  Scholar
Jan
28
accepted Format output from /usr/bin/time to ignore parts of seconds
Jan
22
awarded  Student
Jan
22
asked Format output from /usr/bin/time to ignore parts of seconds