2 Commits

• Update extension-loading.md with install/remove/update commands

  - pi install <type> <source> (global default, -p for project)
  - pi remove <type> <name>
  - pi update [types...]
  - Install adds to settings.json + installs to disk
  - Global is default, -p/--project for project-local

  Mario Zechner · 2025-12-26 20:51:15 +01:00
  ad10e2308e
• Add extension loading design doc

  Unified system for loading hooks, tools, skills, and themes from:
  - Local files and directories
  - npm packages (npm:pkg@version)
  - Git repositories (git:url@tag or git:url#branch)
  
  Includes filtering, atomic installation, and settings hierarchy.

  Mario Zechner · 2025-12-26 20:35:04 +01:00
  31294e4749