1
0
Fork 0
mirror of https://github.com/nix-community/home-manager.git synced 2025-11-21 17:59:39 +01:00

ripgrep: add module (#4017)

* ripgrep: add module

* ripgrep: Apply suggestions from code review

Co-authored-by: Naïm Favier <n@monade.li>

* ripgrep: fix maintainers

Co-authored-by: Naïm Favier <n@monade.li>

* ripgrep: rename config into arguments

---------

Co-authored-by: Naïm Favier <n@monade.li>
This commit is contained in:
Nikita Pedorich 2023-06-02 17:59:12 +02:00 committed by GitHub
parent 3876cc613a
commit 2951946183
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
7 changed files with 99 additions and 0 deletions

View file

@ -394,4 +394,10 @@
github = "natecox";
githubId = 2782695;
};
pedorich-n = {
name = "Mykyta Pedorich";
email = "pedorich.n@gmail.com";
github = "pedorich-n";
githubId = 15573098;
};
}