diff options
Diffstat (limited to 'tllocalmgr-mirror-opt.patch')
| -rw-r--r-- | tllocalmgr-mirror-opt.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tllocalmgr-mirror-opt.patch b/tllocalmgr-mirror-opt.patch new file mode 100644 index 000000000000..59876ed7a592 --- /dev/null +++ b/tllocalmgr-mirror-opt.patch @@ -0,0 +1,13 @@ +diff --git a/tllocalmgr b/tllocalmgr +index b947ed2..8724243 100755 +--- a/tllocalmgr ++++ b/tllocalmgr +@@ -34,7 +34,7 @@ GetOptions( $opts, + 'forceupdate', + 'localsearch', #TODO + 'location', #TODO ? +- 'mirror', ++ 'mirror=s', + 'nocolor', + 'help|h', + 'version|v' |