On Tue, 06 Dec 2011 09:39:19 +0100, Stephan Aßmus wrote:
On 06.12.2011 08:50, Stefano Ceccherini wrote:2011/12/6 Siarzhuk Zharski<zharik@xxxxxx>:Should we remove the PREF_SHELL completely or reuse it for more configurability for experienced users?AFAIK it should use the shell specified in /etc/passwd, so IMO PREF_SHELL can be removed altogether.
Ah, of course ...
Yes, I also remember a complaint about not using the correct shell and that it was fixed...
So both PREF_SHELL and hard-coded should be removed from the Terminal. OK. Thanks.
-- Kind Regards, S.Zharski