i have the same setup with my dell but i would love to use usbc for linux too . just one wire each to either device.