Skip to content

[Fix] Instr visitor's handling of SHELL and SEARCH SHELL#191

Merged
g5t merged 1 commit intomainfrom
fix-search-shell-handling
Feb 25, 2026
Merged

[Fix] Instr visitor's handling of SHELL and SEARCH SHELL#191
g5t merged 1 commit intomainfrom
fix-search-shell-handling

Conversation

@g5t
Copy link
Collaborator

@g5t g5t commented Feb 25, 2026

The handling of SHELL, SEARCH, and SEARCH SHELL did not work due to the required surrounding quote characters were not stipped from the user-provided path/command.

@g5t g5t merged commit a9c7cd8 into main Feb 25, 2026
17 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant