$ rm -rfv huge_dir (A zillion removed files scroll past) Now check if any of the removed files that were dumped out contain “foo.txt”. No, “just run it ag

$ rm -rfv huge_dir (A zillion removed files scroll past) Now check if any of the removed files that were dumped out contain “foo.txt”. No, “just run it again” doesn’t work.