Re: [ jEdit-users ] Setting environment variable for JEdit on Linux

[Edward D. <eld...@tr...>]

On 10/11/2013 12:06 PM, Alan Ezust wrote:
> 
> 
> 
> On Fri, Oct 11, 2013 at 8:39 AM, Edward Diener <eld...@tr...
> <mailto:eld...@tr...>> wrote:
> 
>     On 10/11/2013 11:09 AM, Alan Ezust wrote:
>     > If you are trying to get interoperability between pv.xml files on
>     > windows vs linux, and also using variable-prefix filenames, that could
>     > explain what is happening. I've never tested that ability.
> 
>     Yes, that is what I am trying to do, Is that not the main purpose of
>     variable-prefix filenames ?
> 
> 
> I guess it was the "ultimate goal" of adding this feature to PV.
> 
> But it requires more changes to PV (and possibly also jEdit) than I was
> ready to make.
> Currently, there is interoperability between Mac and Linux but not
> between Windows and the other platforms.
> But the variable prefixes still help you move from one windows machine
> to another.
> 
>  
> 
> 
>     Furthermore it does seem a bug of PV on Windows to force back slashes in
>     the XML files for paths.
> 
> 
> Oh, you mean bug#3612151 ?

Similar. Actually all forward slash characters in the PV XML files
become back slash characters on jedit in Windows. So naturally on Linux
these become incorrect paths.