Re: ports-update

On Sat, May 26, 2001 at 11:25:00PM +0200, Noel Koethe wrote:
> On Sat, 26 May 2001, Oleg Osyka wrote:
>
> Hallo,
>
> > Delete ports/www/jakarta-tomcat/files
> > Updater failed: Cannot delete "/usr/ports/www/jakarta-tomcat/files":
> > Directory n
> > ot empty
>
> hatte ich auch. Mach einfach ein "rm -rf
> /usr/ports/www/jakarta-tomcat" und dann nochmal ein ports update und dann
> gehts wie vorher.
> Vielleicht weiß jemand eine besser Lösung, aber da ich den port nicht
> brauche habe ich es so gemacht. Nach dem 2. update war er dann auch wieder
> da.

Der aktuelle cvsup gibt dafuer nur noch einmalig eine Warning aus.
Ein Abbruch erfolgt auch nicht mehr.
John Polstra hat den gestern die ports aktualisiert.

-- 
B.Walter              COSMO-Project         http://www.cosmo-project.de
ticso(at)cicely.de         Usergroup           info(at)cosmo-project.de
To Unsubscribe: send mail to majordomo(at)de.FreeBSD.org
with "unsubscribe de-bsd-questions" in the body of the message