Thanks for the bug report.
I installed pdksh and looked through the man page, but could only find a
mention of /etc/profile and ~/.profile getting read if the shell is a
login shell. This isn't the case when you start a shell in gnome-
terminal for example. I'm not sure about the other emulators, but I
suspect the shell isn't started as a login shell in them either. gnome-
terminal does allow you to start the shell as login shell, if you check
the "Title and Command" tab in your profile's preferences.
But I may be referring to a different section in the documentation than
what you are talking about. Can you quote the exact section of the
documentation that causes the confusion?
** Changed in: pdksh (Ubuntu)
Status: Unconfirmed => Needs Info
--
pdksh's operation conflicts with documentation, /etc/profile and ~/.profile are
not read
https://launchpad.net/bugs/49633
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
