Re: [virgo-dev] Profile file name

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

Re: [virgo-dev] Profile file name

From: Florian Waibel <fwaibel@xxxxxxxxxxxxxxxxx>
Date: Fri, 5 Feb 2016 10:40:57 +0100
Delivered-to: virgo-dev@xxxxxxxxxxx
List-archive: <https://dev.eclipse.org/mailman/private/virgo-dev>
List-help: <mailto:virgo-dev-request@eclipse.org?subject=help>
List-subscribe: <https://dev.eclipse.org/mailman/listinfo/virgo-dev>, <mailto:virgo-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://dev.eclipse.org/mailman/options/virgo-dev>, <mailto:virgo-dev-request@eclipse.org?subject=unsubscribe>

Hi GianMaria,

> I understood from Florian that Daniel has proposed to use a generic name for the java 7 profile file such as java-server.profile or virgo-server-osgi.profile
> 
> My personal preference would go to the first. In any case, whatever you decide please let me know so that I can update the tooling accordingly.

+1

I'll change the profile name to "java-server.profile".

Regards,
  florian

Follow-Ups:
- Re: [virgo-dev] Profile file name
  - From: Daniel Marthaler
- Re: [virgo-dev] Profile file name
  - From: Giamma

References:
- [virgo-dev] Profile file name
  - From: Giamma

Prev by Date: [virgo-dev] kernel-tools repository
Next by Date: Re: [virgo-dev] PDE2Virgo Plugin
Previous by thread: [virgo-dev] Profile file name
Next by thread: Re: [virgo-dev] Profile file name
Index(es):
- Date
- Thread

Breadcrumbs