Skip to content

How to install Pedantic

Jump to bottom
Tony Anjorin edited this page Jun 15, 2023 · 1 revision
  1. Download and install the latest MPS for your OS from https://www.jetbrains.com/mps/download/
  2. Start MPS and choose to create a New Project for a new local project. For a project shared with others, choose Get from VCS and enter the required information for your versioning system. If you have already checked out such a project, choose Open to navigate to the existing MPS project.
image
  1. For a new project, choose to create a Solution project and enter a project name, project location, solution name, and solution location of your choice.
image
  1. Download the latest pedantic_vXXX.zip from https://github.com/anthonyanjorin/pedantic/tree/master/release
  2. To install Pedantic, switch back to MPS and navigate to Plugins...
image
  1. Choose Install Plugin from Disk... and navigate to the pedantic_vXXX.zip you just downloaded.
image
  1. Restart MPS and make sure that pedantic is now installed in the correct version:
image
  1. Check out the other howtos in the rest of the wiki.

Good, better, pedantic!

Home

Clone this wiki locally