zshrc: purge: clean core.pid files

[grml-etc-core.git] / usr_share_grml / zsh / functions / purge

diff --git a/usr_share_grml/zsh/functions/purge b/usr_share_grml/zsh/functions/purge
index 17a4df2..344e821 100644 (file)
--- 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)