В Sat, 4 Jul 2015 07:09:18 -0400
Patrick Shanahan
* Carlos E. R.
[07-04-15 06:37]: On 2015-07-04 03:33, Patrick Shanahan wrote:
If I open a shell and from cl, export EDITOR=/usr/bin/joe, then echo $EDITOR provides "/usr/bin/joe". $EDITOR is not being set by ~.bashrc.
Do the change, then ctrl-alt-f1, and login. Is it set there? If you some other change, log out, log in.
Yes, it is.
So a *complete* logout by a user on a machine is required for ~/.bashrc to effect *only* $EDITOR is required?
Doesn't make sense, especially as my backups show I have had "export EDITOR=/usr/bin/joe" in ~/.bashrc since at least Sept 2012.
And *never* consciously set mcedit as $EDITOR.
And root which has the same export in its .bashrc correctly sets $EDITOR.
Check if your shell is login shell (shopt | grep login). .bashrc is executed by non-login interactive bash only; but standard /etc/profile sources ~/.bashrc as well. -- To unsubscribe, e-mail: opensuse-factory+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse-factory+owner@opensuse.org