4 ms·
I would love this in my editor: if I search for day = 'friday' I want it to find day="friday" also!
by magicseth 6y ago
I would love this in my editor: if I search for
day = 'friday'
I want it to find
day="friday"
also!
- daghan 6y agoThis is actually a great idea.
- lvh 6y agoIf you use VSCode you can get that today, if you use something else it doesn't look too hard to write: https://semgrep.dev/docs/integrations/#editor https://semgrep.dev/docs/integrations/#editor I'd expect latency might be juuust in the range where it doesn't feel interactive yet? But honestly any search that isn't ripgrep or --omg-optimized-etags feels like that to me now, and people use symbol rename features in IDEs all the time that take multiple seconds, so maybe I'm just unreasonably picky.
- daghan 6y agoI created a semgrep rule for this: https://semgrep.dev/s/GRD6/?version=develop https://semgrep.dev/s/GRD6/?version=develop