[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Bash Bug - Incorrect Printing of Escaped Characters
|
From: |
Eric Pruitt |
|
Subject: |
Re: Bash Bug - Incorrect Printing of Escaped Characters |
|
Date: |
Mon, 25 Dec 2023 22:36:41 -0800 |
On Mon, Dec 25, 2023 at 05:00:37PM -0500, Seth Sabar wrote:
> I'm reaching out to report what I believe to be a bug with the
> *--pretty-print* feature in bash-5.2.
Tangentially, this option doesn't seem to be documented outside of "bash
--help":
$ git clone https://git.savannah.gnu.org/git/bash.git
Cloning into 'bash'...
remote: Counting objects: 41221, done.
remote: Compressing objects: 100% (5024/5024), done.
remote: Total 41221 (delta 36225), reused 41045 (delta 36106)
Receiving objects: 100% (41221/41221), 259.98 MiB | 15.65 MiB/s, done.
Resolving deltas: 100% (36225/36225), done.
$ cd bash/doc/
doc$ fgrep -r pretty
texinfo.tex:% above. But it's pretty close.
texinfo.tex: % and a tt hyphen is pretty tiny. @code also disables ?` !`.
doc$
Eric