[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: move "source /etc/profile" from .zlogin to .zprofile
From: |
Leo Famulari |
Subject: |
Re: move "source /etc/profile" from .zlogin to .zprofile |
Date: |
Tue, 16 Oct 2018 00:59:03 -0400 |
User-agent: |
Mutt/1.10.1 (2018-07-13) |
On Mon, Oct 15, 2018 at 11:48:01AM +0200, Ludovic Courtès wrote:
> Hello,
>
> Chris Marusich <address@hidden> skribis:
>
> > I see. I'm not a zsh user, but I agree it would make sense to rename
> > .zlogin to .zprofile. I've attached a patch that does this in our
> > /etc/skel. I haven't tested it, though. Would you like to test it and
> > let me know if it works for you?
>
> I don’t use Zsh either; IMO, if Meiyo and other Zsh users think it’s the
> right thing, go for it!
I use Zsh as my interactive shell and I use zprofile for everything,
either in /etc or my home directory. I don't even have a zlogin file.
So, I think it will work :)
signature.asc
Description: PGP signature
- move "source /etc/profile" from .zlogin to .zprofile, Meiyo Peng, 2018/10/13
- Re: move "source /etc/profile" from .zlogin to .zprofile, Chris Marusich, 2018/10/13
- Re: move "source /etc/profile" from .zlogin to .zprofile, Leo Famulari, 2018/10/13
- Re: move "source /etc/profile" from .zlogin to .zprofile, Chris Marusich, 2018/10/14
- Re: move "source /etc/profile" from .zlogin to .zprofile, Meiyo Peng, 2018/10/14
- Re: move "source /etc/profile" from .zlogin to .zprofile, Ludovic Courtès, 2018/10/15
- Re: move "source /etc/profile" from .zlogin to .zprofile,
Leo Famulari <=
- Re: move "source /etc/profile" from .zlogin to .zprofile, Ludovic Courtès, 2018/10/16
- Re: move "source /etc/profile" from .zlogin to .zprofile, Chris Marusich, 2018/10/19
Re: move "source /etc/profile" from .zlogin to .zprofile, Meiyo Peng, 2018/10/13