search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

Disambiguate lmh error messages #493

Open rappatoni opened 4 years ago

rappatoni commented 4 years ago

The error message "installation has failed, please make sure that git is installed and try again." is mostly misleading.

For example, attempting to lmh-install a project instead of an archive will yield this message.

rappatoni commented 4 years ago

You also seem to get it when you have not set-up git to clone with ssh.