Re: Setting default $PATH for all users
On 2/10/19, Andy Smith <andy@strugglers.net> wrote:
> Hello,
>
> On Sun, Feb 10, 2019 at 02:57:22PM -0600, Richard Owlett wrote:
>> I used "grep -r /usr/local/games /etc" which yielded "/etc/login.defs"
>> and
>> "/etc/profile". Editing those two files had no effect.
>
> How are you determining that changes to /etc/profile had no effect?
> Because changes there (or in files in /etc/profile.d/) should affect all
> new shels that you launch. Example:
>
> $ cat /etc/profile.d/extrapath.sh
> export PATH=$PATH:/foo
>
> Then I open a new shell and echo $PATH, /foo is in there.
>
> If that is not your experience, you are doing something wrong, or your
> system is very broken.
Or you're using xfce which seems to ignore .profile & .bash_profile
Creating an /etc/profile.d/extrapath.sh from your example didn't do
anything for me.
adding the line
export PATH=$PATH:/foo
to /etc/bash.bashrc however...
followup question - why are the bash "login" dot files ignored if
you're using xfce?
Regards,
Lee
Reply to: