Как удалить текст с помощью sed или awk?

У меня в файле есть следующая строка:

      Linux Release............5.4.2.0-02 12_12_2011_07:31:23

Как удалить все символы перед первым числом с помощью sed или awk?

Я хочу получить следующий результат:

      5.4.2.0-02 12_12_2011_07:31:23

linux shell sed awk

Попробуй это:

sed -e 's/[^0-9]\+//'

Одностороннее использование sed:

sed 's/^[^0-9]*//' <<<"      Linux Release............5.4.2.0-02 12_12_2011_07:31:23"

Результат:

5.4.2.0-02 12_12_2011_07:31:23