BASH_ENV profile

diff --git a/etc/vim/source/option.vim b/etc/vim/source/option.vim
index 8bd930f60f3a03e7519ad2d30f84a5da29d638d5..daf1d86b1fd9f7a636fdec2ffdd8787e088ca03b 100644 (file)
--- 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
 
 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""