From 9c3ad6403617274cb080e88efd4f9f0e11afbae6 Mon Sep 17 00:00:00 2001 From: David Tomaschik Date: Sun, 11 Mar 2018 16:21:43 -0700 Subject: [PATCH] Fix up GREP_COLORS. --- dotfiles/profile | 4 ++++ dotfiles/zshrc | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/dotfiles/profile b/dotfiles/profile index e492c29..ac87789 100755 --- a/dotfiles/profile +++ b/dotfiles/profile @@ -1,4 +1,8 @@ # Always load ENV test -f "$HOME/.env" && . "$HOME/.env" +# Setup GREP_COLORS +export GREP_COLOR='01;31' +export GREP_COLORS='mt=01;31:mc=01;31:ms=01;31' + test -f "${HOME}/.profile.local" && . "${HOME}/.profile.local" diff --git a/dotfiles/zshrc b/dotfiles/zshrc index f575497..70727d2 100755 --- a/dotfiles/zshrc +++ b/dotfiles/zshrc @@ -34,7 +34,7 @@ if [[ -s "${ZDOTDIR:-$HOME}/.zprezto/init.zsh" ]]; then fi # .profile is universal -# but after oh-my-zsh to use anything setup there +# but after zprezto to use/override anything setup there . ~/.profile # Deduplicate the path typeset -U path