On 8/9/25 09:22, Robert Elz wrote:
     Date:        Sat, 9 Aug 2025 01:35:17 +0200
     From:        Denys Vlasenko <[email protected]>
     Message-ID:  <[email protected]>

Incidentally, I think you have a typo in this case:

   | echo '${a##\\\*} removes \*:          '"|${a##\\*}|"' - matches \, then *'

Yes. Thank you, good catch.


Reply via email to