sag, mein ~/.ssh/config
hat eine Zeile:
Host machine1
User user
HostName machine1
ProxyCommand ssh server nc %h %p 2> /dev/null
und das funktioniert richtig, aber das Problem ist, dass ich viele habe machines
: machine1, machine2, machine3, ...
Wie kann ich alle einstellen, ohne die gleiche Art von Zeilen manuell zu kopieren?
Host machine*
würde auch funktionieren, für allgemeine Konfiguration, bei der ein Teil des Namens übereinstimmt.