mirror of
https://github.com/stablyai/orca.git
synced 2026-09-22 00:02:31 +00:00
fix(omp): use guest profile root for WSL launches
This commit is contained in:
@@ -161,9 +161,15 @@ export function buildPtyHostEnv(
|
||||
if (shouldPrepareOmpShadow) {
|
||||
const ompEnv = piTitlebarExtensionService.buildPtyEnv(id, preexistingOmpAgentDir, 'omp', {
|
||||
materializeDefaultHome: explicitPiAgentKind === 'omp',
|
||||
...(baseEnv.PI_CONFIG_DIR !== undefined && !opts.isWsl
|
||||
? { configDirName: baseEnv.PI_CONFIG_DIR }
|
||||
: {})
|
||||
// WSL executes on the guest and must never inherit the host's
|
||||
// PI_CONFIG_DIR. Use OMP's guest-local default when the relay has
|
||||
// not supplied a guest root yet; the relay may still override the
|
||||
// resulting source directory with its materialized guest path.
|
||||
...(opts.isWsl
|
||||
? { configDirName: '.omp' }
|
||||
: baseEnv.PI_CONFIG_DIR !== undefined
|
||||
? { configDirName: baseEnv.PI_CONFIG_DIR }
|
||||
: {})
|
||||
})
|
||||
Object.assign(baseEnv, ompEnv)
|
||||
exposePiManagedExtensionEnv(baseEnv, 'omp', ompEnv)
|
||||
|
||||
Reference in New Issue
Block a user