Regex search #8863

Closed
opened 2026-01-31 01:39:53 +00:00 by claunia · 2 comments
Owner

Originally created by @LinqLover on GitHub (Jun 6, 2020).

Description of the new feature/enhancement

After #605 was implemented, it would be nice to perform regex searches, too.

I think we could just adapt the look from VS Code with a small regex icon to toggle regex mode:

image

Originally created by @LinqLover on GitHub (Jun 6, 2020). <!-- 🚨🚨🚨🚨🚨🚨🚨🚨🚨🚨 I ACKNOWLEDGE THE FOLLOWING BEFORE PROCEEDING: 1. If I delete this entire template and go my own path, the core team may close my issue without further explanation or engagement. 2. If I list multiple bugs/concerns in this one issue, the core team may close my issue without further explanation or engagement. 3. If I write an issue that has many duplicates, the core team may close my issue without further explanation or engagement (and without necessarily spending time to find the exact duplicate ID number). 4. If I leave the title incomplete when filing the issue, the core team may close my issue without further explanation or engagement. 5. If I file something completely blank in the body, the core team may close my issue without further explanation or engagement. All good? Then proceed! --> # Description of the new feature/enhancement After #605 was implemented, it would be nice to perform regex searches, too. I think we could just adapt the look from VS Code with a small regex icon to toggle regex mode: ![image](https://user-images.githubusercontent.com/38782922/83952353-a3534600-a838-11ea-97cc-3818fa9b8426.png)
claunia added the Issue-FeatureResolution-Duplicate labels 2026-01-31 01:39:53 +00:00
Author
Owner

@DHowett commented on GitHub (Jun 6, 2020):

We have a case sensitivity toggle, it looks like Aa. For regex search, /dup #3920 is tracking search enhancements :)

@DHowett commented on GitHub (Jun 6, 2020): We have a case sensitivity toggle, it looks like `Aa`. For regex search, /dup #3920 is tracking search enhancements :)
Author
Owner

@ghost commented on GitHub (Jun 6, 2020):

Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!

@ghost commented on GitHub (Jun 6, 2020): Hi! We've identified this issue as a duplicate of another one that already exists on this Issue Tracker. This specific instance is being closed in favor of tracking the concern over on the referenced thread. Thanks for your report!
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/terminal#8863