Nouveau workspace packages/vscode (git-arboretum, privé, non publié sur npm), client REST/WS réutilisant @arboretum/shared. Auth Authorization: Bearer sur REST et l'upgrade WS (via `ws`) ; un client Node sans en-tête Origin passe le check Origin strict du serveur. - Arbres temps réel : Repositories (repos → worktrees → sessions) et Groups, via le WebSocket. - Terminaux natifs (vscode.Pseudoterminal) pour attacher/observer une session — rendu et scrollback de VS Code ; décodage UTF-8 streaming + comptabilité ACK dans des modules purs. - Status bar (compteur waiting) + notifications natives sur passage en waiting, réponses Yes/No via la commande WS answer. - Mutations git (create worktree, commit, push, promote), start/kill/hide/resume/fork, session de groupe ; conscience du workspace (reveal + start/create here). - Bundle esbuild (format cjs, external vscode) inlinant @arboretum/shared → VSIX autonome. Logique réutilisable sans import vscode → testée par vitest (19 tests). - CI : .gitea/workflows/vscode-release.yml package le VSIX sur tag vscode-vX.Y.Z (artefact + asset de release best-effort). build:vscode hors du build principal (comme le site). - spikes/s5-vscode/STUDY.md : décision de conception (GO phasé A→D), marquée implémentée.
22 lines
861 B
TypeScript
22 lines
861 B
TypeScript
// Lecture des réglages `arboretum.*` — module pur (aucun import vscode) pour rester testable.
|
|
// L'extension fournit un `ConfigSnapshot` lu depuis workspace.getConfiguration ; ce module
|
|
// normalise/dérive les valeurs (notamment l'URL WebSocket à partir de l'URL HTTP).
|
|
|
|
export interface ConfigSnapshot {
|
|
url: string;
|
|
showExternalSessions: boolean;
|
|
notifyOnWaiting: boolean;
|
|
}
|
|
|
|
/** Base REST normalisée (sans slash final) ; `http://127.0.0.1:7317` par défaut. */
|
|
export function normalizeBaseUrl(url: string): string {
|
|
const trimmed = (url || '').trim().replace(/\/+$/, '');
|
|
return trimmed || 'http://127.0.0.1:7317';
|
|
}
|
|
|
|
/** Dérive l'URL du endpoint WebSocket `/ws` (http→ws, https→wss). */
|
|
export function wsUrlFromBase(baseUrl: string): string {
|
|
const base = normalizeBaseUrl(baseUrl);
|
|
return `${base.replace(/^http/, 'ws')}/ws`;
|
|
}
|