diff options
Diffstat (limited to 'graphics/ketcindy/forWindows/setketcindyw32J.bat')
-rwxr-xr-x[-rw-r--r--] | graphics/ketcindy/forWindows/setketcindyw32J.bat | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/graphics/ketcindy/forWindows/setketcindyw32J.bat b/graphics/ketcindy/forWindows/setketcindyw32J.bat index 719ae186e2..fe6fba3c2d 100644..100755 --- a/graphics/ketcindy/forWindows/setketcindyw32J.bat +++ b/graphics/ketcindy/forWindows/setketcindyw32J.bat @@ -1,4 +1,4 @@ -REM 20190616 +REM 20191224 echo off rem Edit the followings if necessary @@ -101,6 +101,12 @@ echo Homehead="%homehead%"; >> ketcindy.ini echo Dirhead="%pathT%%scripts%"; >> ketcindy.ini echo setdirectory(Dirhead); >> ketcindy.ini echo import("setketcindy.txt"); >> ketcindy.ini + +rem 20191224from +set /P STR_INPUT="Language for Help (j/e) :" +echo Langhelp="%STR_INPUT%"; >> ketcindy.ini +rem 20191224to + echo import("ketoutset.txt"); >> ketcindy.ini echo Setting of TeX, R, Maxima @@ -132,6 +138,18 @@ if not exist "%prgSm%" ( ) echo Pathpdf="%prgSm%"; >> ketcindy.ini +set /P STR_INPUT="Number of default graphics (1=tpic 2=pict2e 3=tikz) : " +if "%STR_INPUT%" == "1" ( + set gc=tpic +) +if "%STR_INPUT%" == "2" ( + set gc=pict2e +) +if "%STR_INPUT%" == "3" ( + set gc=tikz +) +echo Usegraphics("%gc%"); >> ketcindy.ini + set /P STR_INPUT="Input version of R (ex)3.5.0 :" set verR=%STR_INPUT% set prg=C:\Program Files |