If there are already `//' do not re-add them in ad-hoc filters. - plumb - Open certain URL patterns with an ad-hoc opener (plumber)
 (HTM) hg clone https://bitbucket.org/iamleot/plumb
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
       ---
 (DIR) changeset 0b85eb0319fa706a82335008c964c8205dc77167
 (DIR) parent fbb643c5a08aa493f72da86a0c0f9f6907f7dfd7
 (HTM) 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 \
        '
        /:\/\// {