summaryrefslogtreecommitdiff
path: root/graphics/ketcindy/forLinux/setketcindy.sh
diff options
context:
space:
mode:
Diffstat (limited to 'graphics/ketcindy/forLinux/setketcindy.sh')
-rwxr-xr-x[-rw-r--r--]graphics/ketcindy/forLinux/setketcindy.sh27
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)"