diff options
| author | Hans-Nikolai Viessmann | 2021-08-12 10:12:43 +0200 |
|---|---|---|
| committer | XZS | 2022-09-13 14:08:14 +0200 |
| commit | 74ac9e86163104eea6f4a5ce5e5f3dba03484340 (patch) | |
| tree | 0a89ac91475842007e1052947f0d0ea0f2d0a78d /tllocalmgr-mirror-opt.patch | |
| parent | 538aef3dfe0e5f8da3603c147dbfb0c43400c4db (diff) | |
| download | aur-74ac9e86163104eea6f4a5ce5e5f3dba03484340.tar.gz | |
fix --mirror option
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' |