diff options
Diffstat (limited to 'graphics/ketcindy/forLinux/setketcindy.sh')
-rwxr-xr-x[-rw-r--r--] | graphics/ketcindy/forLinux/setketcindy.sh | 27 |
1 files changed, 24 insertions, 3 deletions
diff --git a/graphics/ketcindy/forLinux/setketcindy.sh b/graphics/ketcindy/forLinux/setketcindy.sh index 79cc1e491d..d4c7b79ee7 100644..100755 --- a/graphics/ketcindy/forLinux/setketcindy.sh +++ b/graphics/ketcindy/forLinux/setketcindy.sh @@ -1,5 +1,5 @@ #!/bin/sh -# 20180616 +# 20181224 # Edit and uncomment the following lines if necessary texpath=/usr/share/texlive @@ -36,7 +36,7 @@ if [ ${ans} = "n" ]; then fi echo copying scripts -sudo cp -r -p scripts/ ${ketcindyscripts}/ +sudo cp -r -p -T scripts/ ${ketcindyscripts}/ if [ $? -gt 0 ]; then echo Error $? sleep 5 @@ -63,7 +63,7 @@ if [ -e KetCindyPlugin.jar ]; then sudo rm KetCindyPlugin.jar fi cd ${ketcindyscripts} -cp -p ketjava/KetCindyPlugin.jar ${cindyplug} +sudo cp -p ketjava/KetCindyPlugin.jar ${cindyplug} echo "KetCindyPlugin.jar copied to Cinderella" # 20190616from @@ -93,6 +93,12 @@ echo "Dirhead=\"${ketcindyscripts}\";" >> ketcindy.ini echo "Homehead=\"${homehead}\";" >> ketcindy.ini echo "setdirectory(Dirhead);" >> ketcindy.ini echo "import(\"setketcindy.txt\");" >> ketcindy.ini + +#191224from +read -p 'Language for Help (j/e) : ' lang +echo "Langhelp=\"${lang}\";" >> ketcindy.ini +#191224upto + echo "import(\"ketoutset.txt\");" >> ketcindy.ini echo "Choose TeX with the 1st(+2nd) character" @@ -116,7 +122,22 @@ if [ ${tex} = "lu" ]; then tex="lualatex" fi echo "PathT=PathThead+\"${tex}\";" >> ketcindy.ini + +read -p 'Number of default graphics (1=tpic, 2=pict2e, 3=tikz) : ' num +if [ ${num} = "1" ]; then + gc="tpic" +fi +if [ ${num} = "2" ]; then + gc="pict2e" +fi +if [ ${num} = "3" ]; then + gc="tikz" +fi +echo "Usegraphics(\"${gc}\");" >> ketcindy.ini + +read -p 'PDF viewer (ex) evince : ' pathpdf echo "Pathpdf=\"${pathpdf}\";" >> ketcindy.ini + echo "Mackc=\"bash\";" >> ketcindy.ini echo "ketcindy.ini generated(updated)" |