dwww Home | Show directory contents | Find package

#!/bin/sh
#      20190614
cd `dirname $0`
if [ -e ../ketcindyfolder ]; then
  cd ../ketcindyfolder
fi
echo Files will be copied from
echo "    "`pwd`/work
changesetting=/.ketcindy.conf #181017
home=~
dist=${home}/ketcindy #180913
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,Mackc >${home}${changesetting}
echo "// PathT=PathThead+\"platex\";" >>${home}${changesetting}
echo "// Pathpdf=\"skim\";" >> ${home}${changesetting}
pathM="/Applications/Maxima.app/Contents/Resources/maxima.sh"
pathMn="/Applications/Maxima.app/Contents/Resources/opt/bin/maxima"
echo "// PathM=\"${pathM}\";" >> ${home}${changesetting}
echo "// PathM=\"${pathMn}\";" >> ${home}${changesetting}
echo "// Mackc=\"open\";" >>${home}${changesetting}

sleep 1
exit 0

Generated by dwww version 1.15 on Mon Jul 1 01:54:04 CEST 2024.