From 71346d6f322efd8db9031b3d595c470f331af8f8 Mon Sep 17 00:00:00 2001
From: Bernhard Tittelbach <bernhard@tittelbach.org>
Date: Thu, 19 Mar 2015 11:43:25 +0100
Subject: [PATCH] zshrc: purge: clean core.pid files

---
 usr_share_grml/zsh/functions/purge | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)
-- 
2.1.4