You're replying to a comment by Anirudh.

Anirudh Permalink
February 01, 2016, 15:22

Using GNU sed,

sed -ne '

#.hh:mm:ss.msec
#...hh = 00 .. 23 = [0-1][0-9]|2[0-3]
#...mm = 00 .. 59 = [0-5][0-9]
#...ss = 00 .. 59 = [0-5][0-9]
#.msec = \d\d\d\d = [0-9]\{4\}

/^\([0-1][0-9]\|[2][0-3]\)[:]\([0-5][0-9]\)[:]\([0-5][0-9]\)[.]\([0-9]\{4\}\)\s\+\S/!d
:loop
   p;n
//!bloop
q
'

Reply To This Comment

(why do I need your e-mail?)

(Your twitter handle, if you have one.)

Type the word "floppy_95": (just to make sure you're a human)

Please preview the comment before submitting to make sure it's OK.