Removing Port Directories

[Mikhail Goriachev]

Jacob Jennings wrote:
> I was wondering if there is a way to remove unwanted port directories
> such as /usr/ports/biology, /usr/ports/astro, etc. without the system
> coughing a hairball, or could I just manually delete them with a "rm
> -fR"?


I guess you could. Make sure you don't re-fetch them when you cvsup port
collection. For more info consult:

/usr/share/examples/cvsup/ports-supfile


You could also investigate /usr/ports/misc/porteasy


Cheers,
Mikhail.


-- 
Mikhail Goriachev
Webanoide

Telephone: +61 (0)3 62252501
Mobile Phone: +61 (0)4 38255158
E-Mail: mikhailg at webanoide.org
Web: http://www.webanoide.org

PGP Key ID: 0x4E148A3B
PGP Key Fingerprint: D96B 7C14 79A5 8824 B99D 9562 F50E 2F5D 4E14 8A3B