From 0219e4b10e237c98ebfc3a95ca53887170351246 Mon Sep 17 00:00:00 2001 From: Bernhard Tittelbach Date: Wed, 13 Jul 2016 03:27:33 +0200 Subject: [PATCH] zsh: purge: latexfiles --- 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 8fea49c..fab7fcd 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|fdb_latexmk|fls|glo|ilg|ind)(.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|fls|glo|ilg|ind|synctex.gz)(.N)'/)) GHCTEMPFILES=(*.(hs|lhs)(N-.:r:s/%/'.(hi|hc|(p|u|s)_(o|hi))(.N)'/)) -- 2.1.4