Repositories
{@code Repositories} manages all the system repositories. Repositories are stored in the user home directory (System.getProperty("user.home")) in the directory .avail/repositories. If the repositories directory does not exist it will be created. Additionally, if the .avail directory does not exist, it will be created.
Author
Richard Arriaga
Properties
The directory in which repositories are created/found.
Functions
Add a Repository for the given ModuleRoot.
Clear all Repositorys in Repositories.
Clear the Repository for the given Repository.rootName.
Close each Repository in Repositories.
Close each Repository in Repositories, then completely remove them all.
Delete the Repository for the given Repository.rootName.
Switch to using a different directory for finding/creating repository files. This has no effect on existing open repositories, but is useful prior to running tests.