If there are already `//' do not re-add them in ad-hoc filters. - plumb - Open certain URL patterns with an ad-hoc opener (plumber)
HTML hg clone https://bitbucket.org/iamleot/plumb
DIR Log
DIR Files
DIR Refs
DIR README
---
DIR changeset 0b85eb0319fa706a82335008c964c8205dc77167
DIR parent fbb643c5a08aa493f72da86a0c0f9f6907f7dfd7
HTML Author: Leonardo Taccari <iamleot@gmail.com>
Date: Sat, 24 Mar 2018 21:42:43
If there are already `//' do not re-add them in ad-hoc filters.
Diffstat:
dplumb | 2 +-
1 files changed, 1 insertions(+), 1 deletions(-)
---
diff -r fbb643c5a08a -r 0b85eb0319fa dplumb
--- a/dplumb Sat Mar 24 21:36:01 2018 +0100
+++ b/dplumb Sat Mar 24 21:42:43 2018 +0100
@@ -34,7 +34,7 @@
tr -s '[:space:]' '\n' |
sed \
-E -e 's;^(CVE-[0-9]+-[0-9]+).*$;cve://\1;g' \
- -E -e 's;^ar[Xx]iv:;arxiv://;g' |
+ -E -e 's;^ar[Xx]iv:(//)?;arxiv://;g' |
awk \
'
/:\/\// {