Как использовать sed для удаления начальных цифр?

Question

Dec 13, 2012, 05:57 PM

У меня есть файл:

$ cat file 
1 Fred
2 Fred3
3 Fred3
4 Fred3
5 Fred3
6 Fred3
7 Fred3
8 Fred3
9 Fred3
10 Fred3
11 Fred3
12 Fred288

Я хочу удалить первые числа, вывод должен быть таким:

$ cat file 
Fred
Fred3
Fred3
Fred3
Fred3
Fred3
Fred3
Fred3
Fred3
Fred3
Fred3
Fred288

Как я могу достичь этой цели, используя sed?

Ответы на вопрос(3)

Elasticsearch: исключение фильтров при огранке возможно? (как в Solr)

Динамическое преобразование C ++ в шаблон класса с параметром шаблона template, являющимся шаблоном класса или шаблоном псевдонимов.

Программируйте разные макеты для разных версий в android

Управление зависимостями и инструмент для построения JavaScript

удалить из двух таблиц в одном запросе