Manage ripgrep with Home Manager

This commit is contained in:
Oliver Davies 2023-12-17 17:52:59 +00:00
parent 8deb363f76
commit 5e6bee6432
4 changed files with 9 additions and 7 deletions

View file

@ -35,6 +35,5 @@ in
LC_CTYPE = "en_GB.UTF-8";
PATH = "$PATH:./vendor/bin:./node_modules/.bin";
PULUMI_SKIP_UPDATE_CHECK = "true";
RIPGREP_CONFIG_PATH = "$HOME/.config/ripgrep/config";
};
}

View file

@ -27,7 +27,6 @@ with pkgs; [
neofetch
pkgsUnstable.rustywind
pv
ripgrep
tldr
tree
tree-sitter

View file

@ -38,10 +38,15 @@
home.sessionPath = [ "$HOME/.config/bin" ];
xdg.configFile."ripgrep/config".text = ''
--follow
--smart-case
'';
programs.ripgrep = {
enable = true;
arguments = [
"--follow"
"--hidden"
"--smart-case"
];
};
xdg.configFile.bin = {
source = ../../bin;

View file

@ -18,7 +18,6 @@ inputs.home-manager.lib.homeManagerConfiguration {
EXA_COLORS = "uu=38;5;255:gu=38;5;255:ur=38;5;255:uw=38;5;255:ue=38;5;255:wx=38;5;255:gr=38;5;250:gw=38;5;250:gx=38;5;250:tr=38;5;255:tw=38;5;255:tx=38;5;255:da=38;5;250:sn=32:sb=0:di=38;5;105";
PATH = "$PATH:./vendor/bin:./node_modules/.bin";
PULUMI_SKIP_UPDATE_CHECK = "true";
RIPGREP_CONFIG_PATH = "$HOME/.config/ripgrep/config";
};
}
];