[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: |
Mon, 15 Oct 2018 11:48:01 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
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!
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 <=
- 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, 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