[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Help-source-highlight] User data directory

From: Lorenzo Bettini
Subject: Re: [Help-source-highlight] User data directory
Date: Sat, 16 Aug 2014 08:43:35 +0200
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.0

On 15/08/2014 20:08, Dario Teixeira wrote:
> Hi,
>> The strategy for searching for data files starts with the directory 
>> specified 
>> explicitly and then falls back to the default one so this is what you need 
>> isn't it? 
> If that were the case, then yes.  However, the documentation contradicts this:
> Are the docs out of date?

Mh... are you referring to this sentence?

"if the source-highlight command is specified with an explicit path
name, the installation directory name is still used, but relative to the
explicit path name."

This does not contradict what I said... it means that if you invoke the
binary with a full path, e.g., /home/foo/bin/source-highlight, then the
installation directory name...

is that what you were referring to?


Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
Xtext Book:

reply via email to

[Prev in Thread] Current Thread [Next in Thread]