On: Google Antigravity just deleted the contents of whole drive

[weberer]

`rm -rf /` will refuse to delete the root folder. You can see an example of it doing that here.

https://phoenixnap.com/kb/sudo-rm-rf

[Novosell → weberer]

This was the D drive though, not root, ie C drive. So rm -rf would happily delete it all.

[digitalsushi → weberer]

this is not always true. this is a dangerous fun fact to memorize.

and i don't mean because there's an override flag.