Hello all,
I recently installed Debian 9 on my laptop. Everything is good except that HDMI devices that I plug in after the computer has already booted are not recognized at all. However, if the device is plugged in before starting the computer, then it works fine. I googled around and found out...