Patrim language support

You speak the old tongue?

A VS Code extension that supports simple syntax highlighting for the Patrim term rewriting language, built with the help of Yeoman and the VS Code Extension Generator.

Local development

Open the root of this repository in VS Code and hit F5. This will open a new VS Code window with the extension running. Then open a .pat file and have a look -- it should be colorized.

Alternatively, run pnpm run dev to install the current working directory in VS Code.

Installing from source

To install the extension from source, first back-up your installed VS Code extensions (located at ~/.vscode/extensions/) for safe keeping, then run the following from the root of this repository:

  $ pnpm run install

Then reload your VS Code window -- .pat files should now be colorized. (Note that this script will not install uncommitted changes as it uses git archive under the hood. Use pnpm run dev to install uncommitted changes).

Packaging

$ pnpm run package