|
|
case "$FILETYPE" in | case "$FILETYPE" in |
| |
*"gzip compressed data"*) | *"gzip compressed data"*) |
FILE=/tmp/xdvizilla$$ |
FILE=`mktemp -t xdvizilla.XXXXXX` || exit 1 |
gunzip -c "$1" > $FILE | gunzip -c "$1" > $FILE |
[ -n "$NO_RM" ] || rm -f -- "$1" | [ -n "$NO_RM" ] || rm -f -- "$1" |
NO_RM= | NO_RM= |
|
|
;; | ;; |
| |
*"compressed data"* | *"compress'd data"*) | *"compressed data"* | *"compress'd data"*) |
FILE=/tmp/xdvizilla$$ |
FILE=`mktemp -t xdvizilla.XXXXXX` || exit 1 |
uncompress -c "$1" > $FILE | uncompress -c "$1" > $FILE |
[ -n "$NO_RM" ] || rm -f -- "$1" | [ -n "$NO_RM" ] || rm -f -- "$1" |
NO_RM= | NO_RM= |
|
|
case "$FILETYPE" in | case "$FILETYPE" in |
| |
*" tar archive") | *" tar archive") |
TARDIR=/tmp/xdvitar$$ |
TARDIR=`mktemp -t -d xdvitar.XXXXXX` || exit 1 |
mkdir $TARDIR |
|
cat "$FILE" | (cd $TARDIR; tar xf -) | cat "$FILE" | (cd $TARDIR; tar xf -) |
DVINAME=`tar tf "$FILE" | grep '\.dvi$' | head -1` | DVINAME=`tar tf "$FILE" | grep '\.dvi$' | head -1` |
[ -n "$NO_RM" ] || rm -f -- "$FILE" | [ -n "$NO_RM" ] || rm -f -- "$FILE" |