Lines 33-39
Link Here
|
33 |
case "$FILETYPE" in |
33 |
case "$FILETYPE" in |
34 |
|
34 |
|
35 |
*"gzip compressed data"*) |
35 |
*"gzip compressed data"*) |
36 |
FILE=/tmp/xdvizilla$$ |
36 |
FILE=`mktemp -t xdvizilla.XXXXXX` || exit 1 |
37 |
gunzip -c "$1" > $FILE |
37 |
gunzip -c "$1" > $FILE |
38 |
[ -n "$NO_RM" ] || rm -f -- "$1" |
38 |
[ -n "$NO_RM" ] || rm -f -- "$1" |
39 |
NO_RM= |
39 |
NO_RM= |
Lines 41-47
Link Here
|
41 |
;; |
41 |
;; |
42 |
|
42 |
|
43 |
*"compressed data"* | *"compress'd data"*) |
43 |
*"compressed data"* | *"compress'd data"*) |
44 |
FILE=/tmp/xdvizilla$$ |
44 |
FILE=`mktemp -t xdvizilla.XXXXXX` || exit 1 |
45 |
uncompress -c "$1" > $FILE |
45 |
uncompress -c "$1" > $FILE |
46 |
[ -n "$NO_RM" ] || rm -f -- "$1" |
46 |
[ -n "$NO_RM" ] || rm -f -- "$1" |
47 |
NO_RM= |
47 |
NO_RM= |
Lines 60-67
Link Here
|
60 |
case "$FILETYPE" in |
60 |
case "$FILETYPE" in |
61 |
|
61 |
|
62 |
*" tar archive") |
62 |
*" tar archive") |
63 |
TARDIR=/tmp/xdvitar$$ |
63 |
TARDIR=`mktemp -t -d xdvitar.XXXXXX` || exit 1 |
64 |
mkdir $TARDIR |
|
|
65 |
cat "$FILE" | (cd $TARDIR; tar xf -) |
64 |
cat "$FILE" | (cd $TARDIR; tar xf -) |
66 |
DVINAME=`tar tf "$FILE" | grep '\.dvi$' | head -1` |
65 |
DVINAME=`tar tf "$FILE" | grep '\.dvi$' | head -1` |
67 |
[ -n "$NO_RM" ] || rm -f -- "$FILE" |
66 |
[ -n "$NO_RM" ] || rm -f -- "$FILE" |