Reputation
Top tag
Next privilege 125 Rep.
Vote down
Badges
4
Newest
 Informed
Impact
~924 people reached

  • 0 posts edited
  • 0 helpful flags
  • 21 votes cast
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