Как запросить имя текущей вкладки терминалов GUI с вкладками (любое)

еще один awkодин:

awk -F':|,' '$4 > 950' file

отпечатки:

logAlias:Overall,logDurationMillis:961,logTimeStart:2019-07-24_15:30:06.599,logTimeStop:2019-07-24_15:30:06.660

Обновление(в связи с вопросом ОП:)

вы можете реконструировать поля следующим образом:

awk -F':|,' '$4 > 950 {print $3 ":" $4 "," $5 ":" $6 ":" $7 ":" $8 }' file

отпечатки:

logDurationMillis:961,logTimeStart:2019-07-24_15:30:06.599

(возможно, существует более простой способ объединения полей 3 -8, но вам также необходимо восстановить различные разделители полей)