Move `extensions/` folder to `editors/`

finchie

Dec 23, 2025, 5:00 AM

Q7BSTHBJYYEQBLOH7EEDTAU3X2C2SL74HVPXO7V2QXCVXT3CQSFAC

Dependencies

• [2] 4IXB7PLV
• [3] WFWTKCJN Create initial Visual Studio Code extension
• [4] IAMJPC2Q Include extension build info at compile time

Change contents

• replacement in xtask/src/main.rs at line 30
  [3.749]→[3.749:821](∅→∅)
  − let path = workspace_root.join("extensions").join(self.name());
  [3.749]

  [3.821]
  + let path = workspace_root.join("editors").join(self.name());
• file move: extensions (d--r------) → editors (d--r------)
  [2.1]

  [3.53748]
• replacement in Cargo.toml at line 2
  [3.176218]→[4.6841:6915](∅→∅)
  − members = ["build-info", "extensions/vscode", "pijul-extension", "xtask"]
  [3.176218]

  [3.176218]
  + members = ["build-info", "editors/vscode", "pijul-extension", "xtask"]
• replacement in .vscode/launch.json at line 10
  [3.279176]→[3.279176:279246](∅→∅)
  − "--extensionDevelopmentPath=${workspaceFolder}/extensions/vscode"
  [3.279176]

  [3.279246]
  + "--extensionDevelopmentPath=${workspaceFolder}/editors/vscode"