[virgo-dev] Profile file name

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

[virgo-dev] Profile file name

From: Giamma <gm.romanato@xxxxxxxxx>
Date: Tue, 02 Feb 2016 21:12:35 +0000
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>

Dear all,

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.

GianMaria.

Follow-Ups:
- Re: [virgo-dev] Profile file name
  - From: Florian Waibel

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

Breadcrumbs