From 908b96a64993b84f60fe9a82b5fa6db2a514b8e9 Mon Sep 17 00:00:00 2001 From: Ahmed Abdelhalim Date: Tue, 6 Apr 2021 02:14:35 +0200 Subject: Use grep options instead of alias to add color --- .bash_profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.bash_profile') diff --git a/.bash_profile b/.bash_profile index 45dced1..1517c18 100644 --- a/.bash_profile +++ b/.bash_profile @@ -7,6 +7,7 @@ export IGNOREEOF=42 # Ignore Ctrl+D logout terminal session export HISTCONTROL=erasedups # remove consecutive history entries export EDITOR='vim' # Default editor export TERM="xterm-256color" +export GREP_OPTIONS="--color=auto" export HOMEBREW_GITHUB_API_TOKEN="19cbee6c4c8d53094849d8c08042f686718fedde" export PS1="[a14m] \W \$ " export LC_ALL=en_US.UTF-8 @@ -24,7 +25,6 @@ fi alias wttr='curl http://wttr.in/berlin' alias la='ls -a' alias srv="npx http-server" # start simple server -alias grep='grep --color=auto' # enable coloring all the time alias tagme='ctags -R --languages=ruby --exclude=.git --exclude=log . $(bundle list --paths)' alias skipci='git commit --allow-empty -m "--skip-ci"' alias rgpg='pkill pinentry-tty; gpg-connect-agent updatestartuptty /bye' -- cgit v1.2.3