[Jabref-users] Abbreviating Page range (123-5) in custom export filter using RegEx?

[ard j. <a.j...@am...>]

I'm a novel JabRef user, so bear with my beginner question, please.


A journal requires page ranges 123--125 to be replaced with 123-5
Maybe there is a simple way to achieve this but I did not find its, so I'm trying to implement abbreviating a page range in a custom export filter.

I'm following the manual at http://jabref.sourceforge.net/help/CustomExports.php

I've tried Replace(regexp,replacewith), specifically
	\format[Replace(--,-),Replace(1,Y)]{\pages}
That gives me 'Y23-Y25', but when I change this to
	\format[Replace(--,-),Replace([1],Y)]{\pages}
nothing is replaced... As if RegEx doesn't work according to
http://docs.oracle.com/javase/1.4.2/docs/api/java/util/regex/Pattern.html

Eventually I would like to use
\format[Replace(^,:),Replace(--,-),Replace(^:([0-9]*)([0-9]*)-(\1)([0-9]*),\1\2-\4]{\pages}

That would prepend a semicolon to the page range, then change the double dash by a single dash.
The actual work is in the last Replace, where a string of consecutive digits is matched with the part after the dash, and the differing digits are spliced out.
Results I found using a text editor capable of RegEx gave me
:2345-2347 -> 2345-7
:2345-2357 -> 2345-57
:2345-2447 -> 2345-447
:2345-3347 -> 2345-3347

so I obviously I must do something wrong in specifying my output filter. Anyone?

Ard