diff options
author | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2019-09-02 13:46:59 +0900 |
commit | e0c6872cf40896c7be36b11dcc744620f10adf1d (patch) | |
tree | 60335e10d2f4354b0674ec22d7b53f0f8abee672 /graphics/ketcindy/forLinux/setwork.sh |
Initial commit
Diffstat (limited to 'graphics/ketcindy/forLinux/setwork.sh')
-rwxr-xr-x | graphics/ketcindy/forLinux/setwork.sh | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/graphics/ketcindy/forLinux/setwork.sh b/graphics/ketcindy/forLinux/setwork.sh new file mode 100755 index 0000000000..276da924eb --- /dev/null +++ b/graphics/ketcindy/forLinux/setwork.sh @@ -0,0 +1,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
\ No newline at end of file |