Switch the Vagrantfile default to use the arm32 runtime VM
[training-lab.git] / ssh_config
1 Host toolchain_vm
2   Hostname 127.0.0.1
3   Port 2222
4   User vagrant
5   IdentityFile .vagrant/machines/default/virtualbox/private_key
6   Compression yes
7   LogLevel FATAL
8   IdentitiesOnly yes
9   StrictHostKeyChecking no
10   UserKnownHostsFile /dev/null
11
12 Host runtime_vm
13   Hostname 127.0.0.1
14   Port 2222
15   User vagrant
16   IdentityFile .vagrant/machines/default/virtualbox/private_key
17   Compression yes
18   LogLevel FATAL
19   IdentitiesOnly yes
20   StrictHostKeyChecking no
21   UserKnownHostsFile /dev/null
22   ProxyJump toolchain_vm