Не лучшее форматирование, но tr
делает работу
$ tr '[a-z]' ' ' < file_containing_input
10
1000 1
1000 2
10
888 999
Использование awk:
$ awk '{ gsub(/[a-z]+/, " "); print }' file_containing_input
10
1000 1
1000 2
10
888 999
И один в bash (теперь мне нужно остановиться ...)
$ while read a; do echo ${a//[a-z]/ }; done < file_containing_input
10
1000 1
1000 2
10
888 999