projects
/
scripts.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
cabd80d
)
Update.
author
Francois Fleuret
<francois@fleuret.org>
Tue, 17 Jul 2018 09:31:12 +0000
(11:31 +0200)
committer
Francois Fleuret
<francois@fleuret.org>
Tue, 17 Jul 2018 09:31:12 +0000
(11:31 +0200)
bashrc
patch
|
blob
|
history
diff --git
a/bashrc
b/bashrc
index
6d1de66
..
1580fb9
100644
(file)
--- a/
bashrc
+++ b/
bashrc
@@
-430,6
+430,23
@@
function trash () {
echo "Trashed $@"
}
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
######################################################################
## A version of pho which stores the image numbers in environment
## variables