Zsh Mailing List Archive
Messages sorted by: Reverse Date, Date, Thread, Author

Re: empty pipes

On Mon, Dec 12, 2022 at 6:02 AM Ray Andrews <rayandrews@xxxxxxxxxxx> wrote:
>
> BTW, do we have hard spaces?

That's up to the terminal and the context.  Zsh normally doesn't
output special characters like non-breaking spaces but since you refer
to ...

> certain columnizing situations

... I would presume you're controlling the output, so you could place
$'\u00a0' wherever you need it.

Most terminals are going to wrap at the right margin even for
non-breaking spaces, so unless you're using a proportional font for
some reason, ASCII spaces are likely just as good.
Messages sorted by: Reverse Date, Date, Thread, Author