blob: f385abcc0a3f30923461cc41928bc5fe3763fbac (
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
|
REM 20181222
echo off
rem Edit the followings if necessary
set pathT=C:\w32tex
set bin=\bin
set scripts=\share\texmf-dist\scripts\ketcindy
set style=\share\texmf-dist\tex\latex\ketcindy
set doc=\share\texmf-dist\doc\support\ketcindy
set homehead=C:\Users
set prgcin=C:\Program Files (x86)
set xcp="\Windows\System32\xcopy"
if not exist "%prgcin%\Cinderella" (
set prgcin=C:\Program Files
)
NET SESSION > NUL 2>&1
if %ERRORLEVEL% == 0 (
echo Running as administator
set admin="y"
) else (
echo Not running as administator, so will quit
echo Right-click and rerun as adminstrator
set admin="n"
pause
exit
)
echo Path of TeX ; %pathT%
echo bin : %bin%
echo scripts : %scripts%
echo style : %style%
echo doc : %doc%
echo Head of home : %homehead%
set /P ans="Are the above paths OK (y/n): "
if "%ans%" == "n" (
echo Edit paths
pause
exit
)
cd %~dp0
if not exist "ketcindyfolder" (
cd ../ketcindyfolder
)
echo ketcindyfolder is
cd
if exist "%pathT%%scripts%\." (
echo Deleting "%pathT%%scripts%"
rd /s "%pathT%%scripts%"
)
echo Copying ketcindy to "%pathT%%scripts%"
%xcp% /Y /Q /S /E /R "scripts\*.*" "%pathT%%scripts%\"
if exist "%pathT%%doc%\." (
echo Deleting docs to "%pathT%%doc%"
rd /s "%pathT%%doc%"
)
echo Copying doc to "%pathT%%doc%"
set docsrc=doc
%xcp% /Y /Q /S /E /R "%docsrc%\*.*" "%pathT%%doc%\"
if exist "%pathT%%style%\." (
echo Deleting "%pathT%%style%"
rd /s "%pathT%%style%"
)
rem For kettexbasic 181222
set scriptsold=\share\texmf-dist\tex\platex\ketcindy
if exist "%pathT%%scriptsold%\." (
echo Deleting "%pathT%%scriptsold%"
rd /s "%pathT%%scriptsold%"
)
rem For kettexbasic end
echo Copying ketcindy styles to "%pathT%%style%"
set stylesrc=style
%xcp% /Y /Q /S /E /R "%stylesrc%\*.*" "%pathT%%style%\"
"%pathT%%bin%\mktexlsr"
set cindyplug=%prgcin%\Cinderella\Plugins
echo Setting of "%cindyplug%\"
cd "%pathT%%scripts%"
copy /Y "ketjava\KetCindyPlugin.jar" "%cindyplug%\"
cd "%cindyplug%"
echo PathThead="%pathT%%bin%\"; > ketcindy.ini
echo Homehead="%homehead%"; >> ketcindy.ini
echo Dirhead="%pathT%%scripts%"; >> ketcindy.ini
echo setdirectory(Dirhead); >> ketcindy.ini
echo import("setketcindy.txt"); >> ketcindy.ini
echo import("ketoutset.txt"); >> ketcindy.ini
echo "Plugins of Cindy has been set"
pause
|