From 83f9cbc25cf0dc143344110c978f5ec3549eaeea Mon Sep 17 00:00:00 2001
From: Nicolas Boisselier <nicolas.boisselier@gmail.com>
Date: Wed, 23 Mar 2016 15:56:40 +0000
Subject: [PATCH] BASH_ENV profile

---
 etc/vim/source/option.vim | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/vim/source/option.vim b/etc/vim/source/option.vim
index 8bd930f6..daf1d86b 100644
--- a/etc/vim/source/option.vim
+++ b/etc/vim/source/option.vim
@@ -38,7 +38,7 @@ set history=1000
 " NB 05.03.16   "set shellcmdflag=-c
 " NB 05.03.16   "set shell=/bin/bash\ --rcfile\ ~/.bash_profile
 " NB 05.03.16 endif
-let $BASH_ENV = "~/.bashrc"
+let $BASH_ENV = "~/.profile"
 " if [ -n "$BASH_ENV" ]; then . "$BASH_ENV"; fi
 
 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""
-- 
2.47.3