Skip to content

grep improvement update using ripgrep - #486

Merged
zfoong merged 2 commits into
V1.4.4from
fix/grep-improvement
Oct 15, 2026
Merged

zfoong merged 2 commits into
V1.4.4from
fix/grep-improvement

Conversation

@zfoong

@zfoong zfoong commented Oct 15, 2026

Copy link
Copy Markdown
Collaborator

What and why?
Grep takes too much time to run, improved with ripgrep. Reducing search time from mintues to seconds.

The ripgrip binarry is also added by default, a vendor_ripgrep script is there for future update of the binary file.

@zfoong zfoong added priority: high Improvement Optimization and improvement over existing feature labels Oct 15, 2026
@zfoong
zfoong requested a review from ahmad-ajmal October 15, 2026 01:01

@ahmad-ajmal ahmad-ajmal left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One memory usage issue in the search result parsing:

Comment thread app/data/action/grep_files.py Outdated

@ahmad-ajmal ahmad-ajmal left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Re-reviewed dadd733. The memory issue is fixed, and I found no further actionable issues. The 17 search tests passed in the isolated harness, 70 comparison cases preserved the previous search output, and all six CI checks are green.

@zfoong
zfoong merged commit f067426 into V1.4.4 Oct 15, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Improvement Optimization and improvement over existing feature priority: high

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants