Ohne Informationen über die Hardware wird das hier nichts mehr. Wie kommt das Bild vom Rechner in die Dock? Vermutlich "Displayport über USB-C". Falls dem so ist, dann ist USB-switchen nicht möglich.
Hat die Dock 3 Monitorausgänge oder sind mehrere Monitore an einem Port? Das beeinflusst einen evtl. benötigten KVM-Switch erheblich.
Wenn die Situation so ist, wie ich sie vermute, dann bekommt der 2. Rechner die gleiche Dock nochmal und zusätzlich wird ein KVM-Switch benötigt. Umstecken ist deutlich billiger, möglicherweise EUR 500 billiger.
Hat die Dock 3 Monitorausgänge oder sind mehrere Monitore an einem Port? Das beeinflusst einen evtl. benötigten KVM-Switch erheblich.
Wenn die Situation so ist, wie ich sie vermute, dann bekommt der 2. Rechner die gleiche Dock nochmal und zusätzlich wird ein KVM-Switch benötigt. Umstecken ist deutlich billiger, möglicherweise EUR 500 billiger.