Background:
https://savannah.gnu.org/bugs/index.php?64212
Now's a good time to tell me if this is a bad idea. :P
The idea is to make it easier to debug issues like the following.
https://savannah.gnu.org/bugs/index.php?56499
https://savannah.gnu.org/bugs/index.php?58447
Here's the patch.
com
Hi Thomas,
At 2023-07-26T10:47:05+0200, Thomas ten Cate wrote:
> In the bash manual page (`man bash`), the ASCII tilde character '~'
> (0x7e) is replaced by the Unicode character '˜' (U+02DC SMALL TILDE):
>
> $ man bash | grep 'additional binary operator'
> An additional bin