-rm -f core.$pid

[Patrick Guio]

Dear all,
In recent Linux version, core files generated are called after process id
with the syntax
core.$pid
which can be matched I think
for csh-like shells with core.{[1-9]*}
for sh-like shells with core.[0-9]*
That might be nice to remove those as well?
Cheers, Patrick