On 30 August 2015 at 19:25, Teodoro Santoni <asbras...@gmail.com> wrote:
> I don't see any real difference between adding modified versions of my > .bashrc > things to rcmain or putting them to $home/lib/profile > rcmain is shared. the profile is per-user
