Works fine for /bin/ksh though. With /bin/sh on -current from today it
behaves exactly as described.
On Wed, 7 Nov 2018 at 17:13, Robert Elz <[email protected]> wrote:
>
>     Date:        Wed, 07 Nov 2018 08:47:18 -0600
>     From:        =?UTF-8?Q?C=C3=A1g?= <[email protected]>
>     Message-ID:  <[email protected]>
>
>   | promptcmds is set. If PS1 from above is used, the prompt becomes the
>   | following:
>   | --
>   | [$( pwd | sed "s,^$HOME,~," )];
>
> Ugh, you're right, I hadn't tested this on the latest current for a while,
> and have no idea what managed to break it  ... no recent changes should
> have gone anywhere near that area.   I will work it out and fix it sometime
> in the next few days.
>
> Thanks for the report
>
> kre
>


-- 
----

Reply via email to