fix user settings in sandbox broken in recent change (#885)

This commit is contained in:
Olcan 2025-06-10 00:27:40 -07:00 committed by GitHub
parent 5673c5f267
commit c7e82965b1
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 1 deletions

View File

@ -356,7 +356,9 @@ export async function start_sandbox(sandbox: string) {
// mount user settings directory inside container, after creating if missing // mount user settings directory inside container, after creating if missing
// note user/home changes inside sandbox and we mount at BOTH paths for consistency // note user/home changes inside sandbox and we mount at BOTH paths for consistency
const userSettingsDirOnHost = USER_SETTINGS_DIR; const userSettingsDirOnHost = USER_SETTINGS_DIR;
const userSettingsDirInSandbox = getContainerPath(userSettingsDirOnHost); const userSettingsDirInSandbox = getContainerPath(
`/home/node/${SETTINGS_DIRECTORY_NAME}`,
);
if (!fs.existsSync(userSettingsDirOnHost)) { if (!fs.existsSync(userSettingsDirOnHost)) {
fs.mkdirSync(userSettingsDirOnHost); fs.mkdirSync(userSettingsDirOnHost);
} }