RE: [platform-dev] Change Resource Path Delimiter

[John Arthorne <John_Arthorne@xxxxxxxxxx>]

In your original note, you said you
were using ${resource_path}, but now you say you are using ${resource_location}
so I am confused.  The "path" variables should always use
/, and the "location" variables should always use the OS path
delimiter.  If you are seeing something different, please enter a
bug.  If this is what you are seeing but you want it to be changed,
then you're out of luck.  You'll just have to convert the separators
yourself if you want something different.
--

SimonRichardson2@xxxxxxxxxx Sent by: platform-dev-admin@xxxxxxxxxxx 09/19/2003 06:43 AM Please respond to platform-dev

To:        platform-dev@xxxxxxxxxxx         cc:                 Subject:        RE: [platform-dev] Change Resource Path Delimiter

I also found this article:

http://dev.eclipse.org/newslists/news.eclipse.tools/msg56376.html

It's interesting, because it looks like a previous releases of eclipse
had the behaviour I was after:

"Note that the eclipse platform distingues carefully between "paths"
and 
"locations".  Paths are always workspace or project relative,
never have 
a device, and always use forward slash.  Paths in this context describe
where resources are found in the workspace, regardless of their location
on disk.

Locations always refer to places in the file system.  These are always
absolute, contain a device if applicable, and use the underlying OS path
separator ('\' in windows)."

I am using resource_loc but it's using the backwards '\' Windows slash
which is not what I want.

> 
> 
> When running an external tool the ${resource_path} is 
> resolved with platform specific delimiters.
> 
> I would like to specify a '/' as the delimiter - so that the 
> ${resource_path} is resolved using this and not the windows 
> '\' - is this possible?
>