diff options
Diffstat (limited to 'Master')
-rwxr-xr-x | Master/texmf/scripts/texlive/tlmgr.pl | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Master/texmf/scripts/texlive/tlmgr.pl b/Master/texmf/scripts/texlive/tlmgr.pl index df21a27841f..58afb6f8375 100755 --- a/Master/texmf/scripts/texlive/tlmgr.pl +++ b/Master/texmf/scripts/texlive/tlmgr.pl @@ -9,6 +9,19 @@ # - save the remote texlive.tlpdb and its md5-hash, and before downloading # check only for the md5-hash of the remote tlpdb, and re-download only # if necessary +# implementation ideas: +# . save the tlpdb in ROOT/tlpkg/texlive.tlpdb.<MD5SUM> +# where <MD5SUM> is md5hash of the location argument +# this way more than one location texlive.tlpdb can be saved +# . if tlmgr makes something which needs the remote database it +# tries to get the md5hash of the remote database +# (.../texlive.tlpdb.md5) +# -> if this does not work, assume that we are offline (tell the user) +# then use the local copy of the database +# -> if that worked, check the md5sum with the md5sum of the local +# copy of the remote tlpdb +# -> if they are equal continue with that +# -> if they are unequal try to download the new one # - backup extensions (email from Manuel) # tlmgr option backupdir /some/fix/location # with default TLROOT/backups as default |