Skip to content

feat(rg): add more real rg file types - #1710

Merged
chaliy merged 1 commit into
mainfrom
2026-05-22-rg-batch-31
May 23, 2026
Merged

chaliy merged 1 commit into
mainfrom
2026-05-22-rg-batch-31

Conversation

@chaliy

@chaliy chaliy commented May 23, 2026

Copy link
Copy Markdown
Contributor

What

Add another real ripgrep type-list batch to Bashkit rg: coq, cuda, d, dhall, idris, lean, matlab, pascal, qml, sass, stylus, thrift, webidl, and wgsl.

Why

These types are present in real rg --type-list but were missing in Bashkit rg, so -t TYPE rejected or missed common file categories.

How

Extend the default rg type database with real-rg glob definitions and add real-rg differential cases for representative files.

Risk

  • Low
  • Affects rg type filtering only.

Checklist

  • Tests added or updated
  • Backward compatibility considered

@cloudflare-workers-and-pages

Copy link
Copy Markdown

Deploying with  Cloudflare Workers  Cloudflare Workers

The latest updates on your project. Learn more about integrating Git with Workers.

Status Name Latest Commit Preview URL Updated (UTC)
✅ Deployment successful!
View logs
bashkit 1f266fc Commit Preview URL May 23 2026, 05:55 AM

@chaliy
chaliy merged commit 1838d61 into main May 23, 2026
34 checks passed
@chaliy
chaliy deleted the 2026-05-22-rg-batch-31 branch May 23, 2026 06:09
chaliy added a commit that referenced this pull request May 30, 2026
## What
Add another real ripgrep type-list batch to Bashkit rg: coq, cuda, d,
dhall, idris, lean, matlab, pascal, qml, sass, stylus, thrift, webidl,
and wgsl.

## Why
These types are present in real `rg --type-list` but were missing in
Bashkit rg, so `-t TYPE` rejected or missed common file categories.

## How
Extend the default rg type database with real-rg glob definitions and
add real-rg differential cases for representative files.

## Risk
- Low
- Affects rg type filtering only.

## Checklist
- [x] Tests added or updated
- [x] Backward compatibility considered
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