夏前にPCを Dell XPS 13 (9350)に替えたのだが、映像出力のために買った、純正のDA200は Linux 上ではHDMIが機能しなかった。まぁVGA使えるから良いか、と思っていたら、後期の授業が始まってみたら、HDMIしか使えない教室の授業があった…。 ということで、「Plugable USB 3.1 Type C（USB-C）- HDMI 2.0」というのを買ってみたら、何のことはない、あっさり出力できた。音声も問題ない。バカみたい。 uname -a Linux 4.8.4-1-ARCH #1 SMP PREEMPT Sat Oct 22 18:26:57 CEST 2016 x86_64 GNU/Linux aur/displaylink 1.2.65-1 [installed] (25) (1.81) Linux driver for DL-5xxx, DL-41xx and DL-3×00