Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [pde-ui-dev] Where is pderesources.properties file?

Ok, I'll file a bug report. Not having everything in the source zip seems 
counterintuitive to me. If anything, I'd expect the source zip to include 
*more* than the binary jar.

- Jared

On Thursday 12 February 2004 05:51 pm, Wassim Melhem wrote:
> This is definitely the intended behavior.  As for why, I'm not sure.  The
> releng team would be the people to ask.
> This can be confirmed by right-clicking on any plugin.xml and choose PDE
> Tools > Build Ant File.  (this will use the same build mechanism as the
> releng team)
> You will see that in the targets responsible for zipping source, the script
> is explicitly including *.java files and excluding all others file types.
>
> That is why when people choose to import plug-ins with source, we first
> unzip the source files from the source zip, then we crack open the jar file
> and collect all resources files from it.
>
> Wassim.
>
>
>
>
>              Jared Burns
>              <jaredburns@acm.o
>              rg>                                                        To
>              Sent by:                  pde-ui-dev@xxxxxxxxxxx
>              pde-ui-dev-admin@                                          cc
>              eclipse.org
>                                                                    Subject
>                                        Re: [pde-ui-dev] Where is
>              02/12/2004 08:36          pderesources.properties file?
>              PM
>
>
>              Please respond to
>                 pde-ui-dev
>
>
>
>
>
>
> Wierd. Was that a bug in the 2.1.x distribution or is it like that on
> purpose? (if so, why?)
>
> Thanks,
> - Jared
>
> On Thu, 2004-02-12 at 17:31, Wassim Melhem wrote:
> > The .properties file is in the pdeui.jar in the binary, not the source.
> >
> >
> >
> >
> >
> >
> >
> >              Rajeev Sikka
> >
> >              <sikkar@xxxxxxxxx
> >
> >              m>
>
> To
>
> >              Sent by:                  pde-ui-dev@xxxxxxxxxxx
> >
> >              pde-ui-dev-admin@
>
> cc
>
> >              eclipse.org
>
> Subject
>
> >                                        [pde-ui-dev] Where is
> >
> >              02/12/2004 07:17          pderesources.properties file?
> >
> >              PM
> >
> >
> >
> >
> >
> >              Please respond to
> >
> >                 pde-ui-dev
> >
> >
> >
> >
> >
> >
> >
> >
> >
> >
> > Hi,
> >
> > I unzipped the org.eclipse.pde.source_2.1.2 sources:
> >
> > PDEPlugin.java has the line:
> > resourceBundle =
> > ResourceBundle.getBundle("org.eclipse.pde.internal.ui.pderesources");
> >
> > However, the source does not seem to have the .properties file. Where is
> > it?
> >
> > Thanks,
> > Rajeev
> >
> > _______________________________________________
> > pde-ui-dev mailing list
> > pde-ui-dev@xxxxxxxxxxx
> > http://dev.eclipse.org/mailman/listinfo/pde-ui-dev
>
> _______________________________________________
> pde-ui-dev mailing list
> pde-ui-dev@xxxxxxxxxxx
> http://dev.eclipse.org/mailman/listinfo/pde-ui-dev
>
>
> _______________________________________________
> pde-ui-dev mailing list
> pde-ui-dev@xxxxxxxxxxx
> http://dev.eclipse.org/mailman/listinfo/pde-ui-dev



Back to the top