diff options
Diffstat (limited to 'Master/bin/i386-linux/tlmgr')
| -rwxr-xr-x | Master/bin/i386-linux/tlmgr | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Master/bin/i386-linux/tlmgr b/Master/bin/i386-linux/tlmgr index 0543d040776..07784e9405a 100755 --- a/Master/bin/i386-linux/tlmgr +++ b/Master/bin/i386-linux/tlmgr @@ -1,6 +1,6 @@ #! /usr/bin/env texlua --*-Lua-*- --- $Id: tlmgr.texlua 7030 2008-03-19 21:52:43Z reinhardk $ +-- $Id: tlmgr 7297 2008-04-03 16:32:24Z preining $ -- Copyright (C) 2008 Reinhard Kotucha, Norbert Preining. -- You may freely use, modify and/or distribute this file. @@ -65,7 +65,7 @@ function rmdir(name) end local ok = lfs.attributes(name) if ok then - io.stderr:write(string.format("%s: removing '%s' didn't succeed\n",filename,name) + io.stderr:write(string.format("%s: removing '%s' didn't succeed\n",filename,name)) end return ok end @@ -128,9 +128,12 @@ if arg[1] == 'uninstall' then rmdir(TEXDIR.."/texmf-config") rmdir(TEXDIR.."/texmf") rmdir(TEXDIR.."/tlpkg") + os.remove(TEXDIR.."/temp") os.remove(TEXDIR.."/install-tl.log") rmdir(TEXDIR.."/bin") -- now everything should be removed, try to remove also TEXDIR + -- this will not succeed on win32 since texlua.exe is still in use + -- and thus removing TEXDIR/bin will not work. Damned. os.remove(TEXDIR) os.exit(0) end |