grep
com regex estendido:
ping ... | grep --line-buffered -E 'time=([0-9]{4}|[5-9][0-9]{2})' | ...
Isso corresponderá a qualquer linha com time=
, seguida imediatamente por:
- Any 4 digits (1000+ ms).
- Um dígito 5-9 seguido por quaisquer 2 dígitos (500-999 ms).
--line-buffered
trabalha com problemas causados pela saída padrão de grep
buffer quando usado em uma cadeia de tubos. Não é necessário quando o grep é o último link da cadeia.