mirror of
https://github.com/webinstall/webi-installers.git
synced 2026-04-06 18:36:50 +00:00
Renames: - github_repo → github_releases (back-compat kept) - github_source → github_sources (back-compat kept) - gitea_repo → gitea_releases (back-compat kept) New keys: - gitea_sources, gitlab_releases, gitlab_sources All keys now accept either owner/repo shorthand or full URLs: - github_releases = sharkdp/bat - github_releases = https://github.com/sharkdp/bat - gitea_releases = https://git.rootprojects.org/root/pathman Defaults: github → github.com, gitlab → gitlab.com. Gitea has no default (self-hosted only). Updated all 73 releases.conf files from github_repo to github_releases.
title, homepage, tagline
| title | homepage | tagline |
|---|---|---|
| Ripgrep | https://github.com/BurntSushi/ripgrep | Ripgrep is a git and sourcecode-aware drop-in grep replacement. |
To update or switch versions, run webi rg@stable (or @v13.0, @beta, etc).
Files
~/.config/envman/PATH.env
~/.local/opt/rg/
~/.local/bin/rg
~/.ripgreprc
Cheat Sheet
Ripgrep (
rg) is smart. It's like grep if grep were built for code. It respects.gitignoreand.ignore, has all of the sensible options you want (colors, numbers, etc) turned on by default, is written in Rust, and typically outperforms grep in many use cases.
rg <search-term> # searches recursively, ignoring .git, node_modules, etc
rg 'function doStuff'
rg 'doStuff\(.*\)'
Inverse Search
Use -v to filter out all matches so that only non-matches are left.
rg 'bar' | rg -v 'foobar'
Disable Smart Filtering
By default rg respects .gitignore, .ignore, .git/info/exclude and
ignores many types of hidden files, dot files, etc.
You can use -uu to set all of the --no-ignore-* options and others.
rg -uu 'SECRET='