diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-07 16:20:07 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-07-07 16:20:07 +0100 |
| commit | 468bd2a8c5f3b8d94eddeef641ce90d863b7bebc (patch) | |
| tree | 538495e8114bcea0a33495d5bf8cabba0f614094 /.file-metadata | |
| parent | 1e4065aef1f2a99a1c31a9b5628b85f059c4b71c (diff) | |
Using fixed TeX Live repository
Until now, we were letting the TeXLive installer use the default
CTAN-chosen mirror based on the host. But in many cases, this is not
efficient and sometimes those servers don't work.
With this commit, we manually set the server to use (`rit.edu'), which is
relatively fast and up to date. In this way, until we build TeXLive from
source, every user will be using the same CTAN mirror.
Diffstat (limited to '.file-metadata')
| -rw-r--r-- | .file-metadata | bin | 6236 -> 6236 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex d16b7ed..56776a9 100644 --- a/.file-metadata +++ b/.file-metadata |