blob: 96764c96f3253a94c37251b4013232a86f2b4ef3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
|
@ECHO OFF
SETLOCAL ENABLEEXTENSIONS
SETLOCAL ENABLEDELAYEDEXPANSION
set tlroot=%~dp0
path %tlroot%bin\win32;%path%
:menuloop
set ans=
cls
echo === TeX Live Menu ===
echo.
echo 1 TeX Live command prompt
echo 2 Managing the installation
if exist %tlroot%bin\win32\texworks.exe (
echo 3 TeXWorks
)
echo Q Quit
echo.
set /p ans="Make a choice: "
if "%ans%"=="1" (
cmd /k "set prompt=TL $P$G & cls"
exit
)
if "%ans%"=="2" (
echo Starting tlmgr
echo Please be patient
wscript %tlroot%bin\win32\tlmgr-gui.vbs
exit
)
if "%ans%"=="3" (
if not exist %tlroot%bin\win32\texworks.exe (
echo TeXworks not available
goto :menuloop
)
start texworks
exit
rem goto :eof
)
if "%ans%"=="Q" (
exit
)
if "%ans%"=="q" (
exit
)
goto :menuloop
|
