Bug#769526: xlshlt: xslhlt should use configuration file provided by package by default

Шлыков Василий vash at vasiliyshlykov.org
Mon Nov 17 08:23:40 UTC 2014


16.11.2014 12:54, Eugene Zhukov пишет:
> Hi and thank you for your bug report! I examined the patch and have a
> question about it.
> What is the purpose of "} else if (new
> File("xslthl-config.xml").isFile()) {"? As far as I understand it will
> always be true. What did I miss?
>
> I would only change
> configFilename = "xslthl-config.xml";
> to
> configFilename = "/usr/share/xslthl/highlighters/xslthl-config.xml";
>

Yes, the purpose of this case is to keep current behaviour. I'm not sure 
that this file should places in /etc/ directory.



More information about the pkg-java-maintainers mailing list