Is /dev in linux virtual?
- by user973917
Today at work a client had rm -rf /dev and ended up deleting two files in /dev/shm that forced his site to no longer work.
From what I learned previously /dev is not virtual, but a fellow technician had suggested to reboot the server because /dev is virtual like /proc. Sure enough I rebooted the server and the files that the client rm -rf'd were there.
So, my question is; is /dev virtual? Is it the kind of virtual like /proc? Is there more documentation on this? How can I restore the /dev files without a server reboot?