Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a zoia grep/zoia search verb #25

Open
Infernio opened this issue Mar 6, 2022 · 0 comments
Open

Add a zoia grep/zoia search verb #25

Infernio opened this issue Mar 6, 2022 · 0 comments
Labels
enhancement New feature or request
Milestone

Comments

@Infernio
Copy link
Member

Infernio commented Mar 6, 2022

Has the advantage over grep/rg that it can parse the project and create plaintext representations to search.

Consider this Zoia text:

"That is *very* unfortunate", says Malcolm, fighting down the *sheer delight* that wants to take over his face at the news.

If I want to look for very unfortunate, then grep/rg will find nothing - I'd have to enter (and escape) the asterisk before 'unfortunate' for it to work. zoia grep, on the other hand, would have no problem:

$ zoia grep "very unfortunate"
src/work1/ch1/main.zoia:
  23: "That is *very* unfortunate", says Malcolm, fighting down the *sheer delight* that wants to take over his face at the news.

Not sure if I want grep and search to be synonyms or if search should maybe default to a literal search (i.e. no bothering with regexes)?

@Infernio Infernio added the enhancement New feature or request label Mar 6, 2022
@Infernio Infernio added this to the v0.2.0 milestone Jun 1, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Status: Todo
Development

No branches or pull requests

1 participant