Innerhalb von MacOS habe ich 2 docker Maschinen, sagen wir, dev1 und dev2. In einem Terminal läuft $docker-machine active
zeigt Dev1 als eine aktive Docker-Maschine und in der anderen, dev2. Jetzt möchte ich im 1. Terminal zu dev2 wechseln (ohne dev1 zu stoppen/zu entfernen usw.), damit ich dev2 in beiden habe.Wie kann ich zwischen aktiven Docker-Maschinen unter OSX wechseln?
Wie mache ich das? Vielen Dank!