Date: Thu, 13 Dec 2018 09:39:44 +0100
From: Edgar =?iso-8859-1?B?RnXf?= <e...@math.uni-bonn.de>
Message-ID: <20181213083944.gb46...@trav.math.uni-bonn.de>| though. In the current version, what's a login-sh's wd at that time? unless /etc/profile changes it, $HOME (for .profile) and unless .profile changes it, the same for $ENV (in the login shell). kre
