Skip to main content

Plugins

Pragtical implements many features as plugins. By default official releases bundle all language and color plugins for convenience.

Extra plugins can be found on the github plugins repository or this website Plugins section, which implements a convenient graphical interface to the plugins repository.

These plugins are contributed by the community.

Location​

Plugins that come bundled with Pragtical are usually stored in DATADIR/plugins.

On macOS, DATADIR is always the application resources directory.

On other platforms, Pragtical checks whether the program is installed according to Unix Filesystem Hierarchy Standard. If that is true, then DATADIR will be <path-to-exe>/../share/pragtical.

Otherwise, DATADIR will be <path-to-exe>/data.

User plugins should be installed into USERDIR/plugins.

Plugin managers​

Recently, we've standardized various aspects of the plugin repository so that plugin managers can be built to install and manage plugins.

Currently, there are two plugin managers made for Pragtical:

  1. ppm - a plugin manager more akin to distro package managers such as apt and dnf. ppm is currently shipped on pragtical official releases and a GUI for installing plugins is shipped as part of the editor, also it is accessible from the command line interface by invoking pragtical pm.
  2. Miq - a declarative plugin manager that allows user to declare plugins and install/update them all at once.

These two plugin managers use vastly different ways of plugin management, so please consult the main page for each plugin manager for exact instructions.

Installing plugins​

To install a plugin, simply drag the related plugin file into USERDIR/plugins.

For plugins that comes in a folder, please consult specific instructions for each plugin.

Historically, Pragtical does not enforce a specific file structure for these types of plugins. Old plugins may not have a init.lua file, which is used by Lua to find a plugin. In this case, you need to follow their install instructions.

To install a plugin with ppm, use ppm plugin install. For example, to install lsp, run:

$ ppm plugin install lsp
or
$ pragtical pm plugin install lsp

This will install/update the lsp plugin.

To install themes or libraries, you can use ppm color install and ppm library install respectively.

Updating plugins​

To update a plugin, you'll need to re-download them. For plugins hosted as separate git repositories, you can simply pull new updates.

If you have a plugin manager installed, updating plugins should be easier.

To update plugins with ppm, run ppm upgrade.

$ ppm upgrade
or
$ pragtical pm upgrade

This will update all the plugins to their latest versions.

Uninstalling plugins​

To remove a plugin, simply delete the associated file/directory.

To uninstall a plugin, run ppm plugin uninstall. For instance, to uninstall lsp, run:

$ ppm plugin uninstall lsp
or
$ pragtical pm plugin uninstall lsp

Uninstalling themes and libraries can be done with ppm color uninstall and ppm library uninstall respectively.