Как вытащить число при помощи awk/sed из html файла?

Question

[NikitinRoman]

Добрый день! Есть html файл, в котором есть нижеприведенная строка, необходимо выдернуть из файлика сумму, в нашем случае 11 111, и вывести ее в в виде 11111.

<dl><dt>Текущий баланс</dt><dd><div class="span28"><span class="money bold">11 111<sup class="hide-text">.</sup><sup>32</sup>

Answer 1

[Spetros]

Для html принято парсеры использовать.

Comments

[Армянское Радио]

Или XSLT, если там XHTML хоть в виде намека присутствует.

Answer 2

[Сергей Петриков]

Если длинно и не думать:

grep "Текущий баланс" | sed -e 's/^.*money bold>//g' -e 's/<sup class=hide-text>.*$//g' -e 's/\ //g'

Answer 3

[vinca]

Можно воспользоваться утилитой xmllint.

Ставим libxml2-utils, например для Ubuntu:
$ sudo apt-get install libxml2-utils
Далее, для вашего варианта:

$ echo "<dl><dt>Текущий баланс</dt><dd><div class="span28"><span class="money bold">11 111<sup class="hide-text">.</sup><sup>32</sup>" | xmllint --html --xpath '//span/text()' - | sed 's/ //'

Или из файла:

$ xmllint --html --xpath '//span/text()' 2.xml| sed 's/ //'

Answer 4

[NikitinRoman]

Рабочий пример покажете?