No laughing!
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