Deleting a network user profile from computer 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.
You do need to do some Directory Services magic because normally /etc/passwd doesn't really exist on a Mac and is being created each time you access it from the records in Open Directory.

To remove your users from the terminal, run:

dscl . -delete /Users/username


Where username is the user you want to remove.

Otherwise, you should be able to do this from the GUI by going to System Preferences -> Users &amp; Groups -> Select the user from the user column and remove it with the minus.  It will ask you about removing the user's home directory and you want to say yes.

---Edit---

Check if the users exist in the system with:

dscl . -list /Users


If they don't exist, then you are safe to remove the home directories located in the root of the filesystem at /Users/username.