grep
solução:
grep -C1 -E '^[0-9]+\.[0-9]+[[:space:]]+[^0-9[:space:]]+' file
-
-C NUM
- printNUM
linhas de contexto de saída -
-E
- regexp estendido -
[^0-9[:space:]]+
- corresponde a qualquer caracter exceto o (s) espaço (s) branco (s)[:space:]
ou dígito[0-9]
A saída:
51174.29300 2265.9392765
51174.3 "A random string"
51174.33100 2265.9392765
--
51176.54300 2266.1261205
51176.7 "A random string"
51177.42000 2266.1611095