Добрый день, прошу помощи с bash'ем. В общем, пишу скрипт, который запускает некую программу и потом должен обработать, то что эта прога вывела на экран. Выводит она строку, что-то в духе: result: 0.1 Time: 9.0
Как можно выделить именно 2 этих числа?