Hello!
I run a dell rugged extreme as my main computer, and have linux installed. All is well! However, after plugging in a friends power adapter to test it (it turned out to be broken), my USB-C port has stopped working. This isn't the end of the world, since I can still charge with a good old-fashoned 19V barrel power, but I'd like to fix it.
The port shows up to the operating system, but does not provide power to devices plugged into it, nor can it receive power. I have tried cleaning it.
I strongly suspect that the physical port itself is damaged, and would...