私はファイルを持っています:
$ 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を使用してこの目標を達成するにはどうすればよいですか?