Некоторые другие инструменты:
sed:$ sed -n '/^[0-9]\+$/ p' foo.txt
1
8192
8291
bash, медленнее, чем другие подходы: $ while IFS= read -r line; do [[ $line =~ ^[0-9]+$ ]] && echo "$line"; done <foo.txt
1
8192
8291
Чтобы сохранить вывод в другом файле, используйте перенаправление вывода, >:
sed -n '/^[0-9]\+$/ p' foo.txt >output.txt
while IFS= read -r line; do [[ $line =~ ^[0-9]+$ ]] && echo "$line"; done <foo.txt >output.txt