CLI Options

Most configuration can be done with the config file in your project, but some options can be set at runtime.

npx @proofkit/typegen

Global Options

--config <filename>

Set a custom filename/path for where the config file is located or will be created. The file name must end with either jsonc or json.

• For generate, this specifies where to find the config file.
• For init, this specifies where to create the config file.

generate command

npx @proofkit/typegen generate

This is also the default command, so "generate" is optional. If this command is run without any config file detected, you will be prompted to create the config file (the init command).

--env-path <path>

Set a custom path for where your environment variables are stored.

--reset-overrides

Recreate the overrides file(s), even if they already exist.

ui command

npx @proofkit/typegen ui

Launch the typegen web interface for easy configuration.

init command

npx @proofkit/typegen init

Use this command to create a config file in the current directory.

See Global Options for --config usage.