[jdom-interest] jdom.jar file naming convention

[Alex Chaffee]

On Mon, Jun 26, 2000 at 06:00:34PM -0700, James Duncan Davidson wrote:
> on 2000/06/23 10:40, Patrick Dowler at Patrick.Dowler at nrc.ca wrote:
> 
> > Since you can't leave both in there (who knows which one gets read first)
> > the name hardly matters and a name collision from jdom.jar is actually a good
> > thing... 
> > 
> > "overwrite jdom.jar? (y/n)"
> 
> The problem with this is "Do I currently have b5 or b6 in my directory?" --
> Unwrapping the jar to find out sucks.

You can 
 (a) look at the file modified date  (to be almost sure)
 (b) cp .../jdom-b5/jdom.jar $JAVA_HOME/jre/lib/ext  (to be absolutely sure)

The drop-in-to-ext argument also applies better with no version
suffix, since then you know you wont have two conflicting versions in
there accidentally.

-- 
Alex Chaffee                       mailto:alex at jguru.com
jGuru - Java News and FAQs         http://www.jguru.com/alex/
Creator of Gamelan                 http://www.gamelan.com/
Founder of Purple Technology       http://www.purpletech.com/
Curator of Stinky Art Collective   http://www.stinky.com/