From 54727443ce8762ddf9be8fe541558624c3b20d62 Mon Sep 17 00:00:00 2001
From: Francois Fleuret <francois@fleuret.org>
Date: Tue, 17 Jul 2018 11:31:12 +0200
Subject: [PATCH] Update.

---
 bashrc | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/bashrc b/bashrc
index 6d1de66..1580fb9 100644
--- a/bashrc
+++ b/bashrc
@@ -430,6 +430,23 @@ function trash () {
     echo "Trashed $@"
 }
 
+function trashlatex () {
+    TRASH=$(date +/tmp/trash-latex-${USER}-%Y-%b-%d-%Hh)
+    LINK=/tmp/trash
+
+    mkdir -p ${TRASH}
+
+    [[ -h ${LINK} ]] && \rm ${LINK}
+
+    [[ ! -f ${LINK} ]] && ln -s ${TRASH} ${LINK}
+
+    mv -v \
+       *.log *.pdf *.aux *.nav *.pdfpc *.snm *.toc *.out \
+       *.bbl *.blg \
+       *.*.table *.*.gnuplot \
+       ${TRASH}
+}
+
 ######################################################################
 ## A version of pho which stores the image numbers in environment
 ## variables
-- 
2.20.1