> On 5 Feb 2017, at 16:30, Bachsau <w...@bachsau.name> wrote: > > Am 05.02.2017 um 12:03 schrieb Barry Scott: >> Editing a system wide setting would have to come with a option to >> disable it. > > Editing any setting has to come with that option. However, I never said the > installer should modify /etc/paths. I just said I did it that way and if the > installer would check my actual PATH variable it would notice there's no need > to edit .bash_profile >
I guess at this point someone that cares enough needs to submit a patch to the installer. Personally I’m happy with the installer as it is now that the bugs in editing the profile are fixed. Barry
