Expand description
rg and fd for the grep and find tools: the agent’s copy, else the
system’s, else a download of the latest release.
Port of packages/coding-agent/src/utils/tools-manager.ts in pi v1.0.0.
Enums§
- External
Tool - A helper binary the tools run.
Functions§
- ensure_
tool - The tool, downloading the latest release into
bin_dirwhen it is missing and network use is allowed.Nonewhen it cannot be had. - latest_
version - The version of the latest release on the GitHub releases page
releases, such ashttps://github.com/sharkdp/fd/releases, without a leadingv: pi’sgetLatestVersion, which reads the redirect of<releases>/latestbecause the API endpoint’s anonymous quota is often exhausted behind shared egress. - offline
- Whether
PI_OFFLINEasks to skip network operations. - tool_
path - The installed tool: the agent’s copy, else a system command name.