* Gentoo startup bug
@ 2012-10-24 14:25 ☈king
2012-10-24 15:00 ` Damien Thébault
0 siblings, 1 reply; 6+ messages in thread
From: ☈king @ 2012-10-24 14:25 UTC (permalink / raw)
To: zsh-users
Is anyone here in any way connected to the Gentoo package maintenance team?
I could use some help getting a response out of them regarding this bug:
https://bugs.gentoo.org/show_bug.cgi?id=19924
The solution is obvious: What they installed as /etc/zsh/zprofile is
supposed to be /etc/zsh/zshenv.
I'm tired of losing my $path every time I upgrade zsh on Gentoo.
Thanks!
—☈
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Gentoo startup bug
2012-10-24 14:25 Gentoo startup bug ☈king
@ 2012-10-24 15:00 ` Damien Thébault
2012-10-24 15:08 ` ☈king
0 siblings, 1 reply; 6+ messages in thread
From: Damien Thébault @ 2012-10-24 15:00 UTC (permalink / raw)
To: ☈king; +Cc: zsh-users
On Wed, Oct 24, 2012 at 4:25 PM, ☈king <rkingdesk@sharpsaw.org> wrote:
> Is anyone here in any way connected to the Gentoo package maintenance team?
>
> I could use some help getting a response out of them regarding this bug:
>
> https://bugs.gentoo.org/show_bug.cgi?id=19924
>
> The solution is obvious: What they installed as /etc/zsh/zprofile is
> supposed to be /etc/zsh/zshenv.
>
> I'm tired of losing my $path every time I upgrade zsh on Gentoo.
I guess you could talk to the current maintainers of this package:
http://euscan.iksaif.net/package/app-shells/zsh/
But the solution doesn't seem simple, the bug have 35 comments. I
think that a proposal should summarize the issues and explain the
change.
Regards,
--
Damien Thebault
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Gentoo startup bug
2012-10-24 15:00 ` Damien Thébault
@ 2012-10-24 15:08 ` ☈king
2012-10-25 17:00 ` Bernd Steinhauser
0 siblings, 1 reply; 6+ messages in thread
From: ☈king @ 2012-10-24 15:08 UTC (permalink / raw)
To: Damien Thébault; +Cc: zsh-users
On 10/24/2012 10:00 AM, Damien Thébault wrote:
> I guess you could talk to the current maintainers of this package:
> http://euscan.iksaif.net/package/app-shells/zsh/
Yes, sent them a ping.
> But the solution doesn't seem simple, the bug have 35 comments. I
> think that a proposal should summarize the issues and explain the
> change.
https://bugs.gentoo.org/show_bug.cgi?id=19924#c33
That seems like a simple, correct solution, and it has worked fine for
me every time I've upgraded zsh on Gentoo since I've known about it.
The part I'm 100% sure about is that they're resetting $path after the
user's ~/.zshenv has run. That's wrong.
—☈
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Gentoo startup bug
2012-10-24 15:08 ` ☈king
@ 2012-10-25 17:00 ` Bernd Steinhauser
2012-10-26 8:42 ` Peter Stephenson
0 siblings, 1 reply; 6+ messages in thread
From: Bernd Steinhauser @ 2012-10-25 17:00 UTC (permalink / raw)
To: zsh-users
On 24/10/12 17:08, ☈king wrote:
> On 10/24/2012 10:00 AM, Damien Thébault wrote:
>> I guess you could talk to the current maintainers of this package:
>> http://euscan.iksaif.net/package/app-shells/zsh/
> Yes, sent them a ping.
>
>> But the solution doesn't seem simple, the bug have 35 comments. I
>> think that a proposal should summarize the issues and explain the
>> change.
> https://bugs.gentoo.org/show_bug.cgi?id=19924#c33
>
> That seems like a simple, correct solution,
Mind if I ask how you come to that conclusion?
> and it has worked fine for
> me every time I've upgraded zsh on Gentoo since I've known about it.
That's not really an appropriate way to find a correct solution. "It works"
might be very far away from "It is correct".
> The part I'm 100% sure about is that they're resetting $path after the
> user's ~/.zshenv has run. That's wrong.
I didn't look at Gentoo's zprofile in a few years, but even if (for whatever
reason), they would reset $path after ~/.zshenv has run I highly doubt that your
solution is desirable (Actually, it might be desirable to reset $path, because
it affects `zsh -f`, but I didn't invest a lot of thought into that one.).
Most likely, you misunderstood or misinterpreted what zshenv is for. There have
been discussions about that topic zshenv vs. zshrc vs. zprofile on the zsh
lists, you might want to search the archives for that (also look at zsh's manpage).
Or mind if I ask why you set your user changes of $path in ~/.zshenv rather than
~/.zshrc (where it should be set, since you want it in interactive shells).
Actually, if you move the global zprofile to zshenv, it is very likely, that
zsh's tests fail, but then, tests are not run on gentoo by default, so most
likely you wouldn't notice that.
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Gentoo startup bug
2012-10-25 17:00 ` Bernd Steinhauser
@ 2012-10-26 8:42 ` Peter Stephenson
2012-10-27 15:29 ` Bernd Steinhauser
0 siblings, 1 reply; 6+ messages in thread
From: Peter Stephenson @ 2012-10-26 8:42 UTC (permalink / raw)
To: zsh-users
On 25 October 2012 18:00, Bernd Steinhauser <linux@bernd-steinhauser.de> wrote:
> I didn't look at Gentoo's zprofile in a few years, but even if (for whatever
> reason), they would reset $path after ~/.zshenv has run I highly doubt that
> your solution is desirable (Actually, it might be desirable to reset $path,
> because it affects `zsh -f`, but I didn't invest a lot of thought into that
> one.).
> Most likely, you misunderstood or misinterpreted what zshenv is for. There
> have been discussions about that topic zshenv vs. zshrc vs. zprofile on the
> zsh lists, you might want to search the archives for that (also look at
> zsh's manpage).
> Or mind if I ask why you set your user changes of $path in ~/.zshenv rather
> than ~/.zshrc (where it should be set, since you want it in interactive
> shells).
Without going into the details, there are perfectly good reasons for
putting your path in .zshenv, such as having the same path in all
instances of the shell.
The main point is there's really no good argument for a distribution to trash
a user's path. You simply can't guess how the many users of many different
types are going to use the shell. I agree this bit is definitely
wrong. It's a very
different argument from, say, a specific site where you expect users to
conform to a certain way of doing things.
pws
^ permalink raw reply [flat|nested] 6+ messages in thread
* Re: Gentoo startup bug
2012-10-26 8:42 ` Peter Stephenson
@ 2012-10-27 15:29 ` Bernd Steinhauser
0 siblings, 0 replies; 6+ messages in thread
From: Bernd Steinhauser @ 2012-10-27 15:29 UTC (permalink / raw)
To: zsh-users
On 26/10/12 10:42, Peter Stephenson wrote:
> Without going into the details, there are perfectly good reasons for
> putting your path in .zshenv, such as having the same path in all
> instances of the shell.
Probably. The problem I see is that it might also lead to unexpected behavior,
for example if you run a script using
PATH=/some/path:$PATH zsh -f somescript
If zprofile resets the path, then moving it to zshenv will reset it in any case.
So it might be an improvement if a user really wants to set PATH in .zshenv, but
in other cases, it might make things worse.
I'm not sure about the correct solution. Maybe setting PATH in .zshenv, but only
if it has not been set?
>
> The main point is there's really no good argument for a distribution to trash
> a user's path. You simply can't guess how the many users of many different
> types are going to use the shell. I agree this bit is definitely
> wrong. It's a very
> different argument from, say, a specific site where you expect users to
> conform to a certain way of doing things.
My point was, that simply moving zprofile to zshenv is a bad idea, since zshenv
should be kept very minimalistic and zprofile might do more stuff than just
setting PATH. So even if PATH should be set in zshenv, then maybe the file
should be split up instead. In addition, the problem isn't really "where" PATH
is reset, but that it is reset.
I just wanted to point out that the simplest solution might not be the best
solution.
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2012-10-27 15:30 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-10-24 14:25 Gentoo startup bug ☈king
2012-10-24 15:00 ` Damien Thébault
2012-10-24 15:08 ` ☈king
2012-10-25 17:00 ` Bernd Steinhauser
2012-10-26 8:42 ` Peter Stephenson
2012-10-27 15:29 ` Bernd Steinhauser
Code repositories for project(s) associated with this public inbox
https://git.vuxu.org/mirror/zsh/
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).