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 c...@case.edu http://tiswww.cwru.edu/~chet/
