Hi,
Matthias Kilian wrote:
...
You could (ab)use the checkflist script in /usr/src/distrib sets,
as mentioned in release(8):
# cd /usr/src/distrib/sets
# DESTDIR=/ sh checkflist > foo
Thanks for pointing me to release(8). In the end, I followed the steps
described in release(8) and replaced the old /usr tree with the
RELEASEDIR/usr tree. Afterwards, I reinstalled the previously installed
ports. Besides the time required for a full 'make build', it was pretty
easy and didn't require much user interaction.
(disk usage after replacing /usr and reinstalling the same ports I was
using before)
df -h
...
/dev/wd0e 359M 277M 63.9M 81% /usr
Thanks a lot for all answers.
regards,
Andreas
