useful shell script
Craig Boston
craig at yekse.gank.org
Sat Nov 4 10:59:33 PST 2006
On Sat, Nov 04, 2006 at 12:40:56PM -0600, J. R. Lenz wrote:
> Reclaiming disk space was a high priority on my laptop, which has a 4gb
> FreeBSD partition. So, I wrote a useful shell script for removing all the
> "work" directories in the ports tree (I'm sure someone has already done
> this, but it saves a little bit of time for those people who are not
> fluent in shell scripting). You'd be surprised how much disk space can be
> freed up by removing unused source code and compiled objects.
You may already know about this, but IMHO it's so useful that it bears
repeating:
$ grep WRKDIRPREFIX /etc/make.conf
WRKDIRPREFIX=/usr/obj
Then if you forget to run make clean after installing some ports, just:
# rm -rf /usr/obj/usr/ports
Setting WRKDIRPREFIX in make.conf will cause the ports tree to put all
of its 'work' directories under a separate hierarchy.
Craig
More information about the freebsd-ports
mailing list