diff options
Diffstat (limited to 'src/panto_home.zig')
| -rw-r--r-- | src/panto_home.zig | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/panto_home.zig b/src/panto_home.zig index 353e54b..e75d14b 100644 --- a/src/panto_home.zig +++ b/src/panto_home.zig @@ -30,10 +30,10 @@ pub const Layout = struct { allocator: Allocator, /// `$PANTO_HOME` itself. home: []u8, - /// `$PANTO_HOME/agent/` — the "system" extension/tool tree, + /// `$PANTO_HOME/agent/` — the "base" extension/tool tree, /// populated at bootstrap from files embedded into the panto /// binary. Searched after user/project layers for tools and - /// extensions; project shadows user shadows system. + /// extensions; project shadows user shadows base. agent_dir: []u8, /// `$PANTO_HOME/rocks/lua-<lua_version>/` — the versioned tree. tree: []u8, |