[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: move "source /etc/profile" from .zlogin to .zprofile
From: |
Ludovic Courtès |
Subject: |
Re: move "source /etc/profile" from .zlogin to .zprofile |
Date: |
Tue, 16 Oct 2018 13:55:24 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Leo Famulari <address@hidden> skribis:
> 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 :)
Alright, so Chris you can probably go ahead and push the patch!
Thanks,
Ludo’.
- 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, 2018/10/16
- Re: move "source /etc/profile" from .zlogin to .zprofile,
Ludovic Courtès <=
- 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