[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #59498] Unescaped wildcards in `strip.sed`
|
From: |
John Gardner |
|
Subject: |
[bug #59498] Unescaped wildcards in `strip.sed` |
|
Date: |
Sun, 22 Nov 2020 23:39:05 -0500 (EST) |
|
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10_13_6) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/86.0.4240.198 Safari/537.36 |
Follow-up Comment #3, bug #59498 (project groff):
[comment #2 comment #2:]
> The only change here is the escaping of the leading dot in the requests,
right?
Yep. The change is literally just
sed -e '10,11 s|/|/\\|'
... but I'm new to Savannah and have no idea how I'd go about submitting a PR
for such a trivial fix, so I'm filing a bug report instead. :)
[comment #2 comment #2:]
> Technically, one of them is for .ds and .as requests only, and the other is
for the the complement of that set. :)
Aye, but it was too cumbersome to say "match and not match .ds and .as
requests", not to mention confusing as hell. ;)
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?59498>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/