blob: 276da924eb2ec1de0b0522670962f05aef047292 (
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
|
#!/bin/sh
# 20190614
# Edit and uncomment the following line if necessary
pathpdf=evince
home=~
dist=${home}/ketcindywork # work folder of ketcindy
cd `dirname $0`
if [ -e ../ketcindyfolder ]; then
cd ../ketcindyfolder
fi
echo `pwd`/work will be copied
changesetting=/.ketcindy.conf #181017
cp -r -p work/ ${dist}/
if [ $? -gt 0 ]; then
echo Error:$?
sleep 5
else
echo Workfolder has been generated as ${dist}
echo "This folder can be moved to any place" ##180913
fi
read -p 'Language (j/e) : ' lang
cd doc/ketmanual
if [ ${lang} = "e" ]; then
cp -p KeTCindyReferenceE.pdf ${dist}
cp -p KeTCindyGuideE.pdf ${dist}
cp -p KeTpicStyleE.pdf ${dist}
else
cp -p KeTCindyReferenceJ.pdf ${dist}
cp -p KeTCindyGuideJ.pdf ${dist}
cp -p KeTpicStyleJ.pdf ${dist}
fi
echo generating ${home}/${changesetting}
echo // Re-setting PathT,PathR,Pathpdf,PathM,PathAd >${home}${changesetting}
echo "PathT=PathThead+\"${tex}\";" >>${home}${changesetting}
echo "Pathpdf=\"${pathpdf}\";" >> ${home}${changesetting}
echo "Mackc=\"bash\";" >>${home}${changesetting}
sleep 1
exit 0
|
