summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/bin/win32/tlmgr.bat9
1 files changed, 8 insertions, 1 deletions
diff --git a/Master/bin/win32/tlmgr.bat b/Master/bin/win32/tlmgr.bat
index 564adbae711..446e39e5c94 100755
--- a/Master/bin/win32/tlmgr.bat
+++ b/Master/bin/win32/tlmgr.bat
@@ -11,6 +11,9 @@ rem Get TL installation root (w/o trailing backslash)
set tlroot=%~dp0:
set tlroot=%tlroot:\bin\win32\:=%
+rem check for any argument
+if x == x%1 goto noargs
+
rem check for gui argument
set args=
@@ -55,6 +58,10 @@ exit /b 1
echo %~nx0: failed to rename "%tlupdater%">&2
exit /b 1
+:noargs
+echo No arguments given!
+
:guibailout
-echo Please use tlshell as a GUI for tlmgr
+echo Use tlshell as a GUI for tlmgr.
+pause
exit /b 1