Удаляются ли мои файлы

Самый короткий путь, который я могу найти:

echo `sed 's/[^0-9]//g' your_file` | sed 's/ /,/g'

Результат:

8192,8194,8202,8245,8434,8754,8761,8762,8764,8771

[^0-9] - означает все, кроме цифровых

[ f7] - удаляет все, кроме цифр

Замените your_file на путь к вашему файлу

Для окончательной задачи с помощью команды kill. Будьте осторожны при использовании этой строки, он убьет каждый PID в списке:

for pid in `sed 's/[^0-9]//g' your_file | grep -v '^$'`; do kill -9 $pid;done

Перед запуском предыдущей строки вы можете запустить эту строку:

for pid in `sed 's/[^0-9]//g' your_file | grep -v '^$'`; do echo "kill -9 $pid";done

что-то вроде этого:

kill -9 8192
kill -9 8194
kill -9 8202
kill -9 8245
kill -9 8434
kill -9 8754
kill -9 8761
kill -9 8762
kill -9 8764
kill -9 8771

Удачи!