blob: 0ee507d7452dbb195a71ecc657c672b0ead77329 (
plain)
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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
|
#!/bin/sh
#
# KETCindy starter script
#
# (C) 2017-2018 Norbert Preining
# Licensed under the same license terms as ketpic itself, that is GPLv3+
#
BinaryName=Cinderella2
TemplateFile=template1basic.cdy
systype=`uname`
workdir="$HOME/ketcindy"
if [ "$1" = "-c" ]
then
shift
cinderella="$1"
else
cinderella=`which $BinaryName 2>/dev/null`
fi
if [ -z "$cinderella" ]
then
case $systype in
Darwin)
if [ -r /Applications/Cinderella2.app/Contents/MacOS/Cinderella2 ]
then
cinderella=/Applications/Cinderella2.app/Contents/MacOS/Cinderella2
else
echo "Cannot find $BinaryName!" >&2
exit 1
fi
;;
*)
echo "Cannot find $BinaryName!" >&2
exit 1
;;
esac
fi
if [ ! -x "$cinderella" ] ; then
echo "Program $cinderella is not executable!" >&2
exit 1
fi
# find real path
realcind=`realpath "$cinderella"`
cinddir=`dirname "$realcind"`
case $systype in
Darwin)
plugindir="$cinddir/../PlugIns";;
*)
plugindir="$cinddir/Plugins";;
esac
plugin="$plugindir/KetCindyPlugin.jar"
dirheadplugin="$plugindir/ketcindy.ini"
# find Jar
KetCdyJar=`kpsewhich -format=texmfscripts KetCindyPlugin.jar`
# search for template.cdy
TempCdy=`kpsewhich -format=texmfscripts $TemplateFile`
DirHead=`kpsewhich -format=texmfscripts ketcindy.ini`
if [ -z "$TempCdy" -o -z "$KetCdyJar" ]
then
echo "Cannot find $TemplateFile via kpsewhich, is ketpic installed?" >&2
exit 1
fi
if [ ! -r "$plugin" -o ! -r "$dirheadplugin" ] ; then
echo "Cinderella is *NOT* set up for KETCindy!"
echo "You need to copy"
echo " $KetCdyJar"
echo " $DirHead"
echo "into"
echo " $plugindir"
echo ""
exit 1
fi
# check whether the .jar md5sum is fine, but don't make this an error
case $systype in
Darwin)
__md5sum=md5;;
*)
__md5sum=md5sum;;
esac
myjarmd=`cat "$KetCdyJar" | $__md5sum`
sysjarmd=`cat "$plugin" | $__md5sum`
if [ ! "$myjarmd" = "$sysjarmd" ]
then
echo "The installed version of the plugin in"
echo " $plugin"
echo "differs from the version shipped in"
echo " $KetCdyJar"
echo "You might need to update the former one with the later one!"
fi
mkdir -p "$workdir"
cp "$TempCdy" "$workdir"
exec "$cinderella" "$workdir/$TemplateFile"
|
