Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: [RFC][PATCH] Add zrestart()
On Fri, Apr 30, 2021, at 1:27 PM, Marlon Richert wrote:
> As for your other points: I don't really have anything to comment on
> them, as this function hasn't been my idea in the first place. I
> originally just had a note in the newuser .zshrc telling the user to
> use `exec zsh` to apply changes, rather than `source ~/.zshrc`.
> However, in workers/48026, Oliver expressed apprehension about this,
> to which Bart, in workers/48031, suggested a different solution, which
> I ultimately grew into the patch submitted here. Perhaps the three of
> you could discuss this further?
Anything else on this?
vq
Messages sorted by:
Reverse Date,
Date,
Thread,
Author