Re: Some (small) problems

[Robert Elz <kre%munnari.OZ.AU@localhost>]

    Date:        Wed, 07 Nov 2018 08:47:18 -0600
    From:        =?UTF-8?Q?C=C3=A1g?= <ca6c%bitmessage.ch@localhost>
    Message-ID:  <6a0f0e791e9c9a0824df5d1abe6b64d0%bitmessage.ch@localhost>


  | promptcmds is set. If PS1 from above is used, the prompt becomes the 
  | following:
  | --
  | [$( pwd | sed "s,^$HOME,~," )];

  | I need to press ^D multiple times to exit the shell until all output 
  | from entered commands is gone through the prompt.

This should be fixed in the sh in current now (like, from after this e-mail).
A weird omission from a previous fix (from months ago, and until now,
no-one noticed).

Thanks,

kre