bad/devos
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

develop#zsh: send configuration.nix

Browse source 
configurations
COPYING
flake.lock
flake.nix
lib
local
pkgs
profiles
README.md
secrets
users output to PAGER
This commit is contained in:
Timothy DeHerrera 2019-12-18 00:00:44 -07:00
parent 28a9b4acc4
commit 5fb8b0b1fa
No known key found for this signature in database
GPG key ID: 8985725DB5B0C122
3 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
profiles/develop/zsh/default.nix
View file

@ -98,6 +98,7 @@ in
ripgrep = "${pkgs.ripgrep}"; ripgrep = "${pkgs.ripgrep}";
man = "${pkgs.man}"; man = "${pkgs.man}";
exa = "${pkgs.exa}";
installPhase = let installPhase = let
basename = "\${file##*/}"; basename = "\${file##*/}";

6
profiles/develop/zsh/functions/exa Normal file
View file

@ -0,0 +1,6 @@
# pipe exa into PAGER with colors
if [[ -t 1 && -n $PAGER ]]; then
@exa@/bin/exa --color always $@ | $PAGER
else
@exa@/bin/exa $@
fi

2
profiles/develop/zsh/functions/rg
View file

@ -1,4 +1,4 @@
# pipe rg into less with colors # pipe rg into PAGER with colors
if [[ -t 1 && -n $PAGER ]]; then if [[ -t 1 && -n $PAGER ]]; then
@ripgrep@/bin/rg -p $@ | $PAGER @ripgrep@/bin/rg -p $@ | $PAGER
else else