From 83bf25982b891ec1db4da38c698d366d288c8ba7 Mon Sep 17 00:00:00 2001
From: Mika Suomalainen <mika.henrik.mainio@hotmail.com>
Date: Sat, 29 Oct 2011 16:49:14 +0300
Subject: [PATCH] bashrc: What is bashenv?

---
 bashrc | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/bashrc b/bashrc
index 4c8c5dc5..9b90b812 100644
--- a/bashrc
+++ b/bashrc
@@ -139,11 +139,6 @@ if [ -f ~/.bash_environment ]; then
     source ~/.bash_environment
 fi
 
-# .bashenv (Yes, I know that this is sourced by every bash session even if this isn't here, but I just want to write it).
-if [ -f ~/.bashenv ]; then
-    source ~/.bashenv
-fi
-
 # Things after this are just examples and should be put to some other file, which issourced above.
 
 # Sets the default editor. I prefer nano to vim and so on, so I want it to be nano. If you don't like terminal based text editors, change "nano" to gedit (Gnome) or Kate (KDE).