Как написать awk-скрипт, который поймает время ping
Вы просто не можете использовать SDHC-карту на SD-карте, которая не поддерживает SDHC. У меня была аналогичная проблема, и я просто купил USB-SDHC-ридер, и все прошло хорошо.
1
задан Stef K
3 September 2013 в 02:42
поделиться
1 ответ
Предполагая, что время всегда сообщается в миллисекундах:
$ echo "Reply from 10.11.12.13 time=1035ms" | grep -oP '\d+(?=ms)'
1035
Используя GNU awk, напечатайте цифры после первого =:
gawk 'match($0, /=([[:digit:]]+)/, a) {print a[1]}'
1
ответ дан glenn jackman
24 May 2018 в 18:24
поделиться