Skip to content

Using penrose cli

Max Krieger edited this page Nov 10, 2020 · 1 revision

In the cli/ folder:

npm install

npm link

Now you can run penrose-cli watch mysub.sub mysty.sty mydomain.dsl anywhere globally! If you rebuild the penrose binary or the frontend, penrose-cli will still run normally and update accordingly.

Refer to the oclif documentation for developing the cli.

One trick is, to regenerate the README.md, run npx oclif-dev readme.

Clone this wiki locally