Re: [PATCH 02/10] pasta: More general way of starting spawned shell as a login shell