bug#38243: Zsh does not load /etc/profile values by default

2019-12-08 Thread Leo Prikler
Am Samstag, den 07.12.2019, 22:15 -0800 schrieb Danny O'Brien: > I took a closer look at this, and currently Zsh users have > /etc/profile included in their environment by virtue of a default > $HOME/.zprofile, which is created in their home directory when they > are created (via `useradd` and /etc

bug#38243: Zsh does not load /etc/profile values by default

2019-12-07 Thread Danny O'Brien
On Sun, Nov 17, 2019 at 5:22 AM Leo Prikler wrote: > > Not sure what the correct approach should be here. We could symlink > > /etc/zprofile to /etc/profile , but that would require knowing that > > /etc/profile was always available. Or we could include a source'ing > > of > > /etc/profile in /et

bug#38243: Zsh does not load /etc/profile values by default

2019-11-17 Thread Ludovic Courtès
Hi Danny, "Danny O'Brien" skribis: > Right now, an installation of zsh as a primary shell won't read in the > environmental settings in /etc/profile -- it looks for (but doesn't > find) a /etc/zprofile file instead. > > Not sure what the correct approach should be here. We could symlink > /etc/z

bug#38243: Zsh does not load /etc/profile values by default

2019-11-17 Thread Leo Prikler
> I'm not sure what status /etc/profile holds in Guix -- is it the > canonical location for any user-wide environment settings? Will it > be > guaranteed to be POSIXly correct, rather than having any bashisms? It is currently not and I'm not sure whether it will be. The current behaviour is known

bug#38243: Zsh does not load /etc/profile values by default

2019-11-16 Thread Danny O'Brien
Right now, an installation of zsh as a primary shell won't read in the environmental settings in /etc/profile -- it looks for (but doesn't find) a /etc/zprofile file instead. Not sure what the correct approach should be here. We could symlink /etc/zprofile to /etc/profile , but that would require