Читайте о обратном SSH. Может быть, это поможет вам. Я использую его для подключения к удаленным хранилищам за Nat.
Не очень элегантно, но вот вам:
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
с grep
и awk
:
grep 'document.getElementById("test-summary")' file.html | awk -F'</strong>|&' '{print $2}'