So the straightforward way to handle this is to simply run:
which deletes all the files in the current directory.
-rf is known to most people. It just means "recusively delete everything without prompting"
The extra space was a typo.
And yes, running that blew the server away, even though I caught it and Ctrl-C.
We had regular backups and I simply had to shut the host down and restore it from backup. The user data was not affected (luckily) as it lived on external nfs storage.
Yup. It was apparently common enough, and also no one really needs to delete / except in possibly the most odd circumstance.
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!