+1.
Everyone else in eclipse.org-land already uses "Developer Re*SOURCES*"
for their *SOURCES* so people will figure it out... especially when on
the second page of the p2 Install Manager where they see that the IUs
they selected all end with .feature.*SOURCE*.
N
On 03/26/2013 05:03 AM, Mickael Istria wrote:
On 03/25/2013 08:42 PM, Max Rydahl Andersen wrote:
> What would be a good thing to get in source features ? couldn't we do
> this more intelligently with a resource copy trick replacing the
> feature name properly ?
On our JBT site, Source features are available under a "Sources"
category. IMO it's explicit enough and we can keep the default
"Developer Resources" name extension. People will understand.
--
Mickael Istria
Eclipse developer at JBoss, by Red Hat <
http://www.jboss.org/tools>
My blog <
http://mickaelistria.wordpress.com> - My Tweets
<
http://twitter.com/mickaelistria>
--
Nick Boldt :: JBoss by Red Hat
Productization Lead :: JBoss Tools & Dev Studio
http://nick.divbyzero.com