Danke für die ausführliche Antwort ;-).
Ich bin kein Gamer aber ich schneide (momentan) nur Full HD Videos. Das aber auch nicht kontinuierlich. An meinem Laptop ist noch ein HDMI Ausgang und ein paar andere Anschlüsse frei. Deshalb überlege ich gerade, ob ich das Bild doch über den HDMI Port in Alternate Mode (heißt das so, wenn DisplayPort / fremde Signale über die HDMI Buchse gehen?) an den Monitor schicke und mir die Dockingstation spare. Dadurch wäre die Performance nicht eingeschränkt, aber es gäbe Kabelsalat.
Mit Dockingstation wäre der Laptop mit einem Kabel sofort am Arbeitsplatz "angedockt". Trotzdem habe ich das Gefühl, dass das nicht die richtige Lösung ist, da man z.B. Treiber braucht (gibt es die auch stabil für Linux/macOS? -> Ja, DisplayLink Treiber für Linux habe ich schon gefunden) oder die CPU mehr Arbeit hat. Windows läuft bei mir schon etwas stockend, was aber wahrscheinlich eher am Virenscanner + Festplatte liegt. Das sollte also nicht schlechter werden.
Gut, mit deiner Hardware ist wahrscheinlich kein Performanceproblem zu befürchten...
Hat jemand anderes noch so ein Setup (am Besten mit einem i7 6500U + Intel HD Graphics 520)?