That's unfortunate. FWIW I'm using both an old-style dock (ye olde bottom connector) and the Thunderbolt 3 Dock with a T470s and a T480s with Arch and NixOS. Displayport and HDMI both working fine after first doing the latest updates using fwupd and then running additional updates for laptop/controller/dock from Windows (first step probably redundant).
If it's the Thunderbolt 3 Dock, it can be worth checking that you're using the right ports/cables (not all USB-C ports are Thunderbolt ports) and that there's sufficient power (there are different power adapter alternatives and the 135W brick that shipped with my dock wasn't enough by itself so still need a separate charging cable for the laptop).
If it's the Thunderbolt 3 Dock, it can be worth checking that you're using the right ports/cables (not all USB-C ports are Thunderbolt ports) and that there's sufficient power (there are different power adapter alternatives and the 135W brick that shipped with my dock wasn't enough by itself so still need a separate charging cable for the laptop).