|
From: | Chet Ramey |
Subject: | Re: Tilde (~) in bash(1) is typeset incorrectly as Unicode character |
Date: | Wed, 26 Jul 2023 11:19:12 -0400 |
User-agent: | Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 |
On 7/26/23 4:47 AM, Thomas ten Cate wrote:
Bash Version: 5.1 Patch Level: 16 Release Status: release Description: 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 binary operator, =˜, is available, with the same prece‐ The same happens for the use of ~ as a shorthand for the home directory. This makes the manual page incorrect, and difficult to search.
Thanks for the report. Progress, I suppose. -- ``The lyf so short, the craft so long to lerne.'' - Chaucer ``Ars longa, vita brevis'' - Hippocrates Chet Ramey, UTech, CWRU chet@case.edu http://tiswww.cwru.edu/~chet/
[Prev in Thread] | Current Thread | [Next in Thread] |