From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- graphics/ketcindy/forLinux/setwork.sh | 41 +++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100755 graphics/ketcindy/forLinux/setwork.sh (limited to 'graphics/ketcindy/forLinux/setwork.sh') 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 -- cgit v1.2.3