| Filip Kujawa | 5bdc75f | 2023-11-26 08:35:18 -0800 | [diff] [blame] | 1 | host roborio |
| 2 | User admin |
| 3 | HostName localhost |
| 4 | Port 10999 |
| 5 | StrictHostKeyChecking no |
| 6 | |
| 7 | host practice-roborio |
| 8 | User admin |
| 9 | HostName localhost |
| 10 | Port 10989 |
| 11 | StrictHostKeyChecking no |
| 12 | |
| 13 | host third-roborio |
| 14 | User admin |
| 15 | HostName localhost |
| 16 | Port 10979 |
| 17 | StrictHostKeyChecking no |
| 18 | |
| 19 | host pi1 |
| 20 | User pi |
| 21 | HostName localhost |
| 22 | Port 10998 |
| 23 | IdentityFile ~/.ssh/{{identity_file}} |
| 24 | host pi2 |
| 25 | User pi |
| 26 | HostName localhost |
| 27 | Port 10997 |
| 28 | IdentityFile ~/.ssh/{{identity_file}} |
| 29 | host pi3 |
| 30 | User pi |
| 31 | HostName localhost |
| 32 | Port 10996 |
| 33 | IdentityFile ~/.ssh/{{identity_file}} |
| 34 | host pi4 |
| 35 | User pi |
| 36 | HostName localhost |
| 37 | Port 10995 |
| 38 | IdentityFile ~/.ssh/{{identity_file}} |
| 39 | host pi5 |
| 40 | User pi |
| 41 | HostName localhost |
| 42 | Port 10994 |
| 43 | IdentityFile ~/.ssh/{{identity_file}} |
| 44 | host pi6 |
| 45 | User pi |
| 46 | HostName localhost |
| 47 | Port 10993 |
| 48 | IdentityFile ~/.ssh/{{identity_file}} |
| 49 | |
| 50 | host practice-pi1 |
| 51 | User pi |
| 52 | HostName localhost |
| 53 | Port 10988 |
| 54 | IdentityFile ~/.ssh/{{identity_file}} |
| 55 | host practice-pi2 |
| 56 | User pi |
| 57 | HostName localhost |
| 58 | Port 10987 |
| 59 | IdentityFile ~/.ssh/{{identity_file}} |
| 60 | host practice-pi3 |
| 61 | User pi |
| 62 | HostName localhost |
| 63 | Port 10986 |
| 64 | IdentityFile ~/.ssh/{{identity_file}} |
| 65 | host practice-pi4 |
| 66 | User pi |
| 67 | HostName localhost |
| 68 | Port 10985 |
| 69 | IdentityFile ~/.ssh/{{identity_file}} |
| 70 | host practice-pi6 |
| 71 | User pi |
| 72 | HostName localhost |
| 73 | Port 10984 |
| 74 | IdentityFile ~/.ssh/{{identity_file}} |
| 75 | host practice-pi5 |
| 76 | User pi |
| 77 | HostName localhost |
| 78 | Port 10983 |
| 79 | IdentityFile ~/.ssh/{{identity_file}} |
| 80 | |
| 81 | host box-pi1 |
| 82 | User pi |
| 83 | HostName localhost |
| 84 | Port 10978 |
| 85 | IdentityFile ~/.ssh/{{identity_file}} |
| 86 | host box-pi2 |
| 87 | User pi |
| 88 | HostName localhost |
| 89 | Port 10977 |
| 90 | IdentityFile ~/.ssh/{{identity_file}} |
| 91 | host box-pi3 |
| 92 | User pi |
| 93 | HostName localhost |
| 94 | Port 10976 |
| 95 | IdentityFile ~/.ssh/{{identity_file}} |
| 96 | host box-pi4 |
| 97 | User pi |
| 98 | HostName localhost |
| 99 | Port 10975 |
| 100 | IdentityFile ~/.ssh/{{identity_file}} |
| 101 | host box-pi6 |
| 102 | User pi |
| 103 | HostName localhost |
| 104 | Port 10974 |
| 105 | IdentityFile ~/.ssh/{{identity_file}} |
| 106 | host box-pi5 |
| 107 | User pi |
| 108 | HostName localhost |
| 109 | Port 10973 |
| 110 | IdentityFile ~/.ssh/{{identity_file}} |
| 111 | |