diff options
Diffstat (limited to 'agent/README.md')
| -rw-r--r-- | agent/README.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/agent/README.md b/agent/README.md index 44d31fe..fc7f046 100644 --- a/agent/README.md +++ b/agent/README.md @@ -2,8 +2,8 @@ Contents of this directory are embedded into the `panto` binary at build time and staged onto disk at bootstrap into -`$PANTO_HOME/agent/` (i.e. `$XDG_DATA_HOME/panto/agent/`, or -`~/.local/share/panto/agent/` if `XDG_DATA_HOME` is unset). +`$XDG_DATA_HOME/panto/agent/`, or `~/.local/share/panto/agent/` if +`XDG_DATA_HOME` is unset. The staged tree is the "base" layer of panto's extension/tool search path — sitting underneath the user layer @@ -25,4 +25,4 @@ shadows the base copy). agent/ tools/ single-file tools, one per `.lua` - extensions/ (future) multi-tool extensions + extensions/ multi-tool extensions |