The Local MathHub (lmh) functionality in MMT provides local commands to install libraries and archives from and publish content to MathHub.info, a versioned hosting system and user portal for OMDoc/MMT content. The MathHub Wiki gives details about the system.
Before using any lmh functionality, a local folder needs to be configured to store archives in.
This is configured in the mmtrc file automatically during setup,
however it can also be done manually on the MMT shell by typing
lmh root <path>.
Furthermore, MMT archives can be cloned using ssh or https.
The difference is only relevant if you want to publish archives, or want to access non-public repositories.
The default method is https. To enable ssh, type
lmh root <path> ssh on the shell.
Each archive may contain dependencies to other archives, therefore MMT provides the
lmh install shell command to allow the user to install one or multiple archives.
lmh install MMT/urtheories MMT/examples install the archives
MMT/examples along with their dependencies.
It is also possible to install all archives within one library, e.g.
lmh install MMT will install all archives within the
Once an archive is installed, it can be updated using
lmh pull, which has the same
lmh pull without an argument pulls all installed libraries and
lmh commit -m'<message>', and
lmh clean are analogous.
To see which archives are installed locally, use the
lmh ls command.
It optionally takes the name of an archive or library, and will restrict output to the matching archives.
It also shows the version numbers of locally installed archives.
To see which archives are available, use the
lmh search command.
It functions exactly like the
lmh ls, however it searches remotely for archives on
http:.//gl.MathHub.info instead of locally.