Yes it's slower and slower over time.
I guess it can be improved a lot by using MediaWiki API, see
https://josm.openstreetmap.de/ticket/16702
Le sam. 3 nov. 2018 à 21:25, Dirk Stöcker a
écrit :
> On Sat, 3 Nov 2018, Vincent Privat wrote:
>
> > By the way the script doesn't work anymore, I was
On Sat, 3 Nov 2018, Vincent Privat wrote:
By the way the script doesn't work anymore, I was unable to update the
strings for last release.
Someone replaced a bold small dot with a large normal dot in the wiki :-)
Fixed and Updated.
Whoa takes it long nowadays...
(We could optimize and
On Sat, 3 Nov 2018, Simon Poole wrote:
I normally don't edit compressed files.
Yes, and?
Your argument would be perfectly valid
(well if we forget that the entries have to be parsed)
Parsing throws away any nonmatching language, so runtime memory
requirements wont change and I doubt that
By the way the script doesn't work anymore, I was unable to update the
strings for last release.
Le sam. 3 nov. 2018 à 16:40, Simon Poole a écrit :
> I normally don't edit compressed files.
>
> Your argument would be perfectly valid (well if we forget that the
> entries have to be parsed) if
I normally don't edit compressed files.
Your argument would be perfectly valid (well if we forget that the
entries have to be parsed) if the URLs were stored in a separate file,
as is, bloating a manually curated file, it is bonkers.
Simon
Am 03.11.2018 um 16:33 schrieb Dirk Stöcker:
> On Sat,
On Sat, 3 Nov 2018, Simon Poole wrote:
The current default preset has 12'214 lines of which roughly 5'564 are
used for href attributes in the "link" element. I actually suspect that
the number of lines used for the href entries is increasing faster than
the actual preset content and it is only
The current default preset has 12'214 lines of which roughly 5'564 are
used for href attributes in the "link" element. I actually suspect that
the number of lines used for the href entries is increasing faster than
the actual preset content and it is only a matter of time before they
will
