From 57bbea33d24f58ec75e29920fc6bb8fe6729d274 Mon Sep 17 00:00:00 2001 From: Bernhard Tittelbach Date: Wed, 7 Nov 2012 05:23:49 +0100 Subject: [PATCH] zsh: updated purge function --- 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 018d2f7..0a05e16 100644 --- a/usr_share_grml/zsh/functions/purge +++ b/usr_share_grml/zsh/functions/purge @@ -7,7 +7,7 @@ local -a -U FILES [[ -d "$1" ]] && { TRAPEXIT() { popd -q } && pushd -q "$1" } -TEXTEMPFILES=(*.tex(N-.:s/%tex/'(log|toc|aux|nav|snm|out|tex.backup|bbl|blg|bib.backup|vrb|lof|lot|hd|idx)(.N)'/)) +TEXTEMPFILES=(*.tex(N-.:s/%tex/'(log|toc|aux|nav|snm|out|tex.backup|bbl|blg|bib.backup|vrb|lof|lot|hd|idx|fdb_latexmk)(.N)'/)) GHCTEMPFILES=(*.(hs|lhs)(N-.:r:s/%/'.(hi|hc|(p|u|s)_(o|hi))(.N)'/)) -- 2.1.4