Downloading Pi Extensions

You install third-party pi extensions to the local extensions directory.

Destination

Always install to:

/mnt/Store/Projects/Mine/Github/Dotfiles/devtools/files/pi/agent/extensions/

(Equivalent symlink path: ~/.pi/agent/extensions/)

Preferred Source: GitHub (use gh download)

If the extension is on GitHub, use gh download first.

gh download --help