Module WorkbenchConfigurationCommand 

Return the current workbench configuration as JSON.

WorkbenchConfigurationCommand

Provides the initial workbench configuration to the Sky frontend via IPC.

RESPONSIBILITIES

Configuration Retrieval

• Handle IPC requests for workbench configuration
• Construct sandbox configuration from initialization data
• Validate configuration construction with proper error handling
• Return JSON configuration payload to frontend

ARCHITECTURAL ROLE

Position in Mountain

• IPC bridge command in Binary subsystem
• Frontend-facing API for initial workspace setup

Dependencies

• crate::ProcessManagement::InitializationData: Configuration construction
• crate::ApplicationState: Application state management
• tauri: IPC framework
• serde_json: JSON serialization
• log: Logging framework

Dependents

• Sky frontend: Requests workbench configuration on load
• Tauri IPC handler: Routes requests to this command

SECURITY

Considerations

• Configuration data may contain workspace paths; ensure they are validated
• No user input is processed beyond initial workspace argument
• Error messages should not leak sensitive information

PERFORMANCE

Considerations

• Configuration construction involves file I/O; should be fast
• Consider caching if configuration becomes expensive to compute
• Async execution won’t block main thread

Functions

MountainGetWorkbenchConfiguration

Provides the initial workbench configuration to the Sky frontend.