From: Bernhard Tittelbach Date: Thu, 19 Mar 2015 10:43:25 +0000 (+0100) Subject: zshrc: purge: clean core.pid files X-Git-Tag: v0.11.1~1 X-Git-Url: http://git.grml.org/?p=grml-etc-core.git;a=commitdiff_plain;h=71346d6f322efd8db9031b3d595c470f331af8f8 zshrc: purge: clean core.pid files --- diff --git a/usr_share_grml/zsh/functions/purge b/usr_share_grml/zsh/functions/purge index 17a4df2..344e821 100644 --- a/usr_share_grml/zsh/functions/purge +++ b/usr_share_grml/zsh/functions/purge @@ -22,7 +22,7 @@ FILES=( \#*\#(.N) *.o(.N) a.out(.N) - (*.|)core(.N) + (*.|)core(|.<->)(.N) *.cmo(.N) *.cmi(.N) .*.swp(.N)