dev/zhi #1

Merged
hzhang merged 28 commits from dev/zhi into main 2026-03-05 19:08:00 +00:00
Showing only changes of commit 259f9dc418 - Show all commits

View File

@@ -447,7 +447,6 @@ async function configure(env) {
'export PASS_MGR_PATH="pass_mgr"', 'export PASS_MGR_PATH="pass_mgr"',
'', '',
'# PaddedCell skills', '# PaddedCell skills',
`export PADDEDCELL_SKILLS_DIR="${join(installDir, 'skills', 'paddedcell')}"`,
].join('\n'); ].join('\n');
const envFile = join(installDir, 'paddedcell.env'); const envFile = join(installDir, 'paddedcell.env');