New comment by beginner3456789 on void-packages repository

https://github.com/void-linux/void-packages/issues/18777#issuecomment-591113548

Comment:
The most recent /etc/profile from base-files 0.140_12 has the PATH appended for everybody just in case somebody wants to create a non-Void chroot. Maybe those creating the chroot could set their own PATH as needed instead of imposing a very wide search for everybody else. Maybe the current PATH settings are just useful during installation for new users?

The final result seems to be very minimal when running bash or dash scripts. Maybe those shells keep a list in memory instead of looking in the file system every time? I set my own PATH for root and user so the default /etc/profile is sort of cosmetic apparently.

@loreb Thanks for the added info. I should close this issue in about a day or so in case anybody else wants to comment.