113 reputation
4
bio website rhymingpanda.com
location
age
visits member for 3 years, 7 months
seen Jul 9 at 17:54

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