I just did
sudo rm -vr /boot/*. Is there a way to restore the content?
Just to clarify why I would do this: I have a SD-card with a boot-partition mounted at
/media/boot that I wanted to replace.
The computer is still running. What are my options?
Update (my solution): This might be a little unsatisfactory for future reference, but I simply backed up all my files and then reinstalled Ubuntu.
Important note if you have the same problem: Don't turn off your computer until you have everything backuped