My computer is hooked up to a school domain, and a few people used it to log on. Now, the accounts of the other users are still here. I don't have any of their files, but just the empty shell accounts OS X creates by default. It's still about 250MB per user (from the default stuff OS X puts in, plus caches they used while browsing etc.).
Can I delete these user folders safely (with sudo)? Or do I need to do some Directory Services magic to make sure OS X knows the users are gone?
EDIT: The users aren't in my "/Search/Users" DirectoryServices list, nor are they in /etc/passwd. Their user folders are shown as being owned by numeric IDs, rather than their actual names.