Hi guys, >> From your commit message I take that you don't want ~/bin in PATH if it >> does not exist.
well, actually, I don't want /etc/profile adding directories from $HOME into $PATH at all -- regardless of whether they exist or not. > I think preferred the approach of Peter - no addition of ~/bin. I > consider that the task of ~/.bashrc or ~/.bash_profile. Exactly. If users want special directories in their personal $PATH, then their personal init files should do that. Take care, Peter _______________________________________________ nix-dev mailing list nix-dev@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-dev
