diff --git a/packages/pi-coding-agent/src/core/settings-manager.ts b/packages/pi-coding-agent/src/core/settings-manager.ts index d9420e8a5..09f23c933 100644 --- a/packages/pi-coding-agent/src/core/settings-manager.ts +++ b/packages/pi-coding-agent/src/core/settings-manager.ts @@ -105,6 +105,7 @@ export interface Settings { showHardwareCursor?: boolean; // Show terminal cursor while still positioning it for IME markdown?: MarkdownSettings; async?: AsyncSettings; + bashInterceptor?: BashInterceptorSettings; } /** Deep merge settings: project/overrides take precedence, nested objects merge recursively */ @@ -369,6 +370,14 @@ export class SettingsManager { return structuredClone(this.projectSettings); } + getBashInterceptorEnabled(): boolean { + return this.settings.bashInterceptor?.enabled ?? true; + } + + getBashInterceptorRules(): BashInterceptorRule[] | undefined { + return this.settings.bashInterceptor?.rules; + } + reload(): void { const globalLoad = SettingsManager.tryLoadFromStorage(this.storage, "global"); if (!globalLoad.error) {