This module maintains mirrors of the latest versions of pack archives as
they are registered. This data will be used to maintain a database of
meta-information on packs.
- pack_mirror_directory(-Dir)
- True when Dir is the absolute file name for the mirrors.
- pack_mirror(+Pack, -File, -Hash) is semidet
- Try to mirror the latest version of Pack into File. Hash is the
SHA1 hash of the pack archive. If the hash of the downloaded
file does not match, the download file is deleted.
- git_has_commit(+Repo, +Commit)[private]
- True if Repo contains Commit. Cashed, which is safe because
objects to not vanish in GIT.
- pack_unmirror(+Pack)
- Delete all mirrors we have for Pack
- ssl_verify(+SSL, +ProblemCert, +AllCerts, +FirstCert, +Error)
- Currently we accept all certificates. We organise our own
security using SHA1 signatures, so we do not care about the
source of the data.
- hash_file(+Hash, -File) is det[private]
- True when File is the location for storing Hash
- pack_git_mirror(+Pack, -GitDir)[private]
- True when MirrorDir is the directory in which we mirror Pack.