docs: auto-update for merged PRs (2026-08-06) - #3919
Merged
Conversation
Reflects changes from #3912. Source PR: #3912 Added documentation for the new empty directory detection behavior: - list_directory now explicitly reports when a directory is empty - Distinguishes between truly empty directories and directories with all entries hidden by ignore patterns - Helps models avoid unnecessary shell command retries
Reflects changes from #3911. Source PR: #3911 Added documentation for the new shell interpreter detection feature: - The shell tool now names the resolved interpreter in its description - Includes OS information (Linux, macOS, Windows) to help models - Provides shell-specific syntax hints (e.g., PowerShell vs POSIX) - Reduces wasted turns from incorrect shell syntax assumptions
aheritier
force-pushed
the
docs/auto-update
branch
from
August 6, 2026 06:34
48e1072 to
871bc5e
Compare
trungutt
approved these changes
Aug 6, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR updates documentation to reflect code changes merged into
mainin the last 36 hours.Documentation Changes
Filesystem Tool (
/docs/tools/filesystem/index.md)list_directoryShell Tool (
/docs/tools/shell/index.md)Source PRs
PRs Not Requiring Doc Changes
The following merged PRs did not require documentation updates: