AWK, SED или GREP для извлечения данных из файла HTML
Читайте о обратном SSH. Может быть, это поможет вам. Я использую его для подключения к удаленным хранилищам за Nat.
0
hoisu
18.08.2015, 11:35
Ссылка
2 ответа
Не очень элегантно, но вот вам:
sed -ne 's/.*"test-summary".* \([0-9][0-9]* right [^&].*exceptions\) .*/\1/p'
Например:
$ echo '<script>document.getElementById("test-summary").innerHTML = "<strong>Test Pages:</strong> 1 right, 0 wrong, 0 ignored, 0 exceptions ' | sed -ne 's/.*"test-summary".* \([0-9][0-9]* right,[^&].*exceptions\) .*/\1/p'
1 right, 0 wrong, 0 ignored, 0 exceptions
2
28.01.2020, 02:36
Ссылка
с grep и awk:
grep 'document.getElementById("test-summary")' file.html | awk -F'</strong>|&' '{print $2}'
0
28.01.2020, 02:36
Ссылка