Package: xlshlt
Version: xslhlt
Severity: minor
Tags: patch
Dear Maintainer,
xslhlt package provides the standard configuration file
/usr/share/xslthl/highlighters/xslthl-config.xml within. But unfortunately I
always have to set filename explicitly by java command-line option
«-Dxslthl.config»
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
Thanks for clarifications Niels and Vasiliy.
I will upload the fix shortly.
As of xslthl-config.xml being in /etc, I don't think this is a
configuration file a user would want to change (arguably it's in a
preferred form of modification) - it's either provided or not.
Eugene
__
This is the
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
On 2014-11-16 10:54, Eugene Zhukov wrote:
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
5 matches
Mail list logo