> To be clear: this never happened on a system where I created /usr/ports > during the install and gave it the obligatory 10GB or so, > meaning more inodes as well.
If you unpack ports.tar.gz or something similar to that, you would not get those "deleted" dirs, if instead you checkout ports you would have them, but the prune option will clear them out at the end of the run, either at checkout or next "cvs up -PAd". For cvs up, this is the delay at the end, so for ports it will "stall" after x11/z-something at which point it runs once more over the checkout and cleans out any dir not having any versioned content. If your partition went full at some point, that clean-out didn't happen. -- May the most significant bit of your life be positive.
