1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
|
$NetBSD: patch-ah,v 1.1 2003/03/15 19:57:01 kei Exp $
--- texk/xdvik/xdvizilla.orig Sun Mar 16 03:59:06 2003
+++ texk/xdvik/xdvizilla Sun Mar 16 04:00:11 2003
@@ -13,7 +13,7 @@
fi
if [ $# -ne 1 ]; then
- xmessage -nearmouse 'Usage: xdvizilla [-no-rm] <file>'
+ xmessage -nearmouse 'Usage: vfxdvizilla [-no-rm] <file>'
exit 1
fi
@@ -21,7 +21,7 @@
if [ "$DIR" = . ]; then
DIR=
-elif [ -f "$DIR"/xdvi -a -x "$DIR"/xdvi ]; then
+elif [ -f "$DIR"/vfxdvi -a -x "$DIR"/vfxdvi ]; then
DIR="$DIR"/
else
DIR=
@@ -33,7 +33,7 @@
case "$FILETYPE" in
*"gzip compressed data"*)
- FILE=/tmp/xdvizilla$$
+ FILE=/tmp/vfxdvizilla$$
gunzip -c "$1" > $FILE
[ -n "$NO_RM" ] || rm -f -- "$1"
NO_RM=
@@ -41,7 +41,7 @@
;;
*"compressed data"* | *"compress'd data"*)
- FILE=/tmp/xdvizilla$$
+ FILE=/tmp/vfxdvizilla$$
uncompress -c "$1" > $FILE
[ -n "$NO_RM" ] || rm -f -- "$1"
NO_RM=
@@ -60,7 +60,7 @@
case "$FILETYPE" in
*" tar archive")
- TARDIR=/tmp/xdvitar$$
+ TARDIR=/tmp/vfxdvitar$$
mkdir $TARDIR
cat "$FILE" | (cd $TARDIR; tar xf -)
DVINAME=`tar tf "$FILE" | grep '\.dvi$' | head -1`
@@ -68,13 +68,13 @@
if [ -z "$DVINAME" ]; then
xmessage -nearmouse "Tar file does not contain a dvi file"
else
- (cd $TARDIR; "$DIR"xdvi -safer "$DVINAME")
+ (cd $TARDIR; "$DIR"vfxdvi -safer "$DVINAME")
fi
rm -rf $TARDIR
;;
*)
- "$DIR"xdvi -safer "$FILE"
+ "$DIR"vfxdvi -safer "$FILE"
[ -n "$NO_RM" ] || rm -f -- "$FILE"
;;
|
