I am having trouble with this simple task:
cat file | grep -E ^[0-9]+$ > file_grep diff file file_grep
Problem is, I want to do this without
grep -E '^[0-9]+$' file | diff - file
where - means "read from standard input".
-