[Oswald Defense Lawyer]

I've installed the developer tools, but since I hardly use them I want to remove them. Dragging the Developer folder to the Trash and trying to empty it doesn't work, and you cant uninstall with the installer CD - so what do I do?

[davechen]

As super-use you could do a

"rm -rf /Developer"

This doesn't remove everything installed by the Dev Tools CD, but it gets most of your disk space back. A bunch of files get installed in /usr/bin, /usr/lib and /usr/include (and possibly other places I can't remember). But you can't just do a rm * in these directories, since there are needed files there too.

dave

[Angus_D]

There's also loads of stuff installed into /System, like support frameworks for Project Builder and debugging versions of the libraries.

I haven't tried it, but for each of the Dev packages in /Library/Receipts, you should be able to do something along the lines of:
sudo lsbom -s /Library/Receipts/DevTools.pkg/Contents/Resources/DevTools.bom | xargs rm -f

Do this for DevDocumentation.pkg DevExamples.pkg DevPBWO.pkg (if it exists) and DevSDK.pkg

Of course, piping things like that to rm is always dangerous. It's untested and could toast your HD. You should really be sure you want to install things like the Developer Tools