Basta fazer isso:
Supondo que seus dados estão em um arquivo chamado arquivo , você pode fazer isso:
$ head -1 file | awk '{ print $3 }' | sed 's/elapsed//'
E ele retornará: 2:10:42
Quebrando:
Pegue a primeira linha do seu arquivo com:
head -1 file
O trabalho pesado é feito por awk :
awk '{ print $3 }'
que apenas imprime o terceiro bloco de dados 2:10:42elapsed
.
Em seguida, use o editor de string sed para arrumar:
sed 's/elapsed//'
Você pode redirecionar a saída para qualquer lugar que desejar, por exemplo, apenas adicione:
> output.text
para imprimir 2:10:42
em um arquivo chamado output.txt
Os itens acima irão sobrescrever (substituir) qualquer conteúdo no arquivo output.txt . Se você quiser anexar seus dados ao final do arquivo, use apenas >>
em vez de >
.