Skip download/cleanup for local search paths #171
Merged
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.
Local directories passed via
-dflag were being unnecessarily downloaded to temp directories and deleted afterward, even when they were already on the local filesystem.Changes
isLocalPath()to identify local paths (file://, absolute, relative) vs remote protocols (git::,https://,s3::)downloadRemoteDirectories()to use local paths in-place without downloadingcleanupDownloadedDirectories()to skip deletion of local pathsBehavior
Before:
$ coding-context -d file:///path/to/rules test-task # Downloads /path/to/rules to /tmp/..., uses it, then deletes itAfter:
$ coding-context -d file:///path/to/rules test-task # Uses /path/to/rules directly in-placeAll three local path formats now skip download/cleanup:
file:///absolute/path/absolute/path./relative/pathRemote protocols continue to download and cleanup as before.
Original prompt
💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.