π extmgr

Extension Manager for pi.dev

Manage extensions
without the friction

Browse, install, enable, and remove Pi extensions from a unified interface. No more digging through directories or editing config files.

— weekly
— total
— stars
— latest
Get Started View on GitHub View on npm
pi
$ pi install npm:pi-extmgr
✓ Extension installed successfully
$ pi
> /extensions
● my-extension global
○ another-ext project
○ legacy-tool global
Press S to save changes

See it in action

Unified manager — local extensions and packages in one list (click to enlarge)

Remote browser — search and install from npm (click to enlarge)

Unified Manager

Local extensions and installed packages in one list. Toggle with Space, save with S.

Remote Discovery

Browse and install from npm or git. Search packages, install by source, done.

Auto-Update

Set it and forget it. Persistent schedules, background checks, status bar updates.

Install from anywhere

npm:package npm registry
git:url Git repositories
https://... Direct GitHub URLs
/local/path Local development

Install

pi install npm:pi-extmgr

Then reload Pi and type /extensions to open the manager.

Quick Reference

/extensions Open manager
Space / Enter Toggle extension
S Save changes
i Quick install
f Search / filter
R Browse remote
U Update all packages
u Update selected
P Command palette
t Auto-update wizard
X Remove selected
? Help
Esc Exit / cancel