Subject: Re: native java browser plugin
To: None <>
From: Bernd Ernesti <>
List: tech-pkg
Date: 08/11/2005 06:43:40
On Thu, Aug 11, 2005 at 12:34:09AM +0200, Lars Nordlund wrote:
> On Wed, 10 Aug 2005 23:52:23 +0200
> Bernd Ernesti <> wrote:
> > - there were some problems during deinstallation so I had to split PLIST
> >   into two files, one which contains the files and a second one which
> >   contains the @dirrm
> >   Just rename PLIST to PLIST.common and move the @dirrm lines into the
> >   new file PLIST.common_end.
> >   This is needed because the @dirrm would be executed while there are
> >   still some files left from the PLIST.jce or PLIST.plugin filelist.
> You could use a trick such as this:
> @unexec ${RMDIR} %D/include/X11/extensions 2>/dev/null || ${TRUE}

This is not needed and not really nice, because you could miss files
which would be found with the normal @dirrm entry.

And as stated in the pkgsrc.txt, you can use this if different packages
share a directory, which is not the case here.