fix HOME in sandbox on cloudtops (linux) (#454)

This commit is contained in:
Olcan 2025-05-20 15:30:49 -07:00 committed by GitHub
parent 716f7875a2
commit 17e28036fa
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 0 deletions

View File

@ -450,6 +450,8 @@ export async function start_sandbox(sandbox: string) {
const uid = execSync('id -u').toString().trim();
const gid = execSync('id -g').toString().trim();
args.push('--user', `${uid}:${gid}`);
// when forcing a UID in the sandbox, $HOME can be reset to '/', so we copy $HOME as well
args.push('--env', `HOME=${os.homedir()}`);
}
// push container image name