[ale] When a script is necessary, and when a piped command is sufficient ?

[Geoffrey]

Depending on the number of files, Paul might have a better solution. 
You likely don't want to go though 100 files interactively deleting 10. 
  Sending the output to a file, editing the file and then doing 
something like:

rm $(cat files2delete)

A lot of distros alias rm to 'rm -i' so you may have to unalias it or 
simply fully qualify it:

/bin/rm $(cat files2delete)

-- 
Until later, Geoffrey