From 4db449c53dc0252b1ed61237c5820370e4e03be8 Mon Sep 17 00:00:00 2001 From: Matthieu Moy Date: Mon, 25 Mar 2013 10:24:25 +0100 Subject: [PATCH] Make temp dir location customizable, and default it to /tmp/ From: Sebastian Hofer --- git-latexdiff | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/git-latexdiff b/git-latexdiff index caccda8..824069e 100755 --- a/git-latexdiff +++ b/git-latexdiff @@ -58,6 +58,7 @@ Options: -o , --output copy resulting PDF into (usually ending with .pdf) + --tmpprefix where temporary directory will be created (default: /tmp) --verbose, -v give more verbose output --prepare run before latexdiff (e.g. run make to generate included files) @@ -98,6 +99,7 @@ bibtex=0 biber=0 output= initial_dir=$PWD +tmpdir_prefix="/tmp" prepare_cmd= uselatexmk= @@ -148,6 +150,10 @@ while test $# -ne 0; do "--latexmk") uselatexmk=1 ;; + "--tmpdirprefix") + shift + tmpdir_prefix="$1" + ;; *) if test -z "$1" ; then echo "Empty string not allowed as argument" @@ -236,7 +242,7 @@ git_dir=$(cd "$git_dir"; pwd) main=$git_prefix/$main -tmpdir=$initial_dir/git-latexdiff.$$ +tmpdir=$tmpdir_prefix/git-latexdiff.$$ mkdir "$tmpdir" || die "Cannot create temporary directory." cd "$tmpdir" || die "Cannot cd to $tmpdir"