Using ssh
Last updated
Was this helpful?
1.0.0
Last updated
Was this helpful?
We often need ssh to log into the robots. You have also set up you ssh key in your GitHub account. Let's start with :
An SSH key is an access credential in the . Its function is similar to that of user names and passwords, but the keys are primarily used for automated processes and for implementing single sign-on by system administrators and power users.
If you want to know more about how the authentication procedure works, you can read more about it .
In general, you can ssh into any PC with the following commands:
For example, if John (username: johndoe) wants to ssh into our robot Lucy, which has the IP address 123.456.7.890, he can use the following command:
An example of an can be found in the dev-env repository. Keep in mind that you will need to change at least two things:
username: this can be different depending on which line you are adding, but in general should match the user in the PC you are trying to access.
IdentityFile: which should match the key you generated when you were See the next section for more information about how to generate keys.
After you have updated the config file, you can use the following commands to ssh into different places:
In general, you can create an SSH key with the following command:
If you want to create a separate key for your work on the team, you can specify it during the prompt instead of the default value of id_rsa. If you want to do it directly from the command line, you can use the -f flag like this:
Copy your ssh-key to the server (e.g. your user on Lucy, the workstation, the lucy account in the robot). From the ssh documentation:
Only the public key is copied to the server. The private key should never be copied to another machine
The command you would need is
For example, to copy your key bitbots.key to the johndoe user at the IP address 123.456.7.890you can do the following:
This logs into the server host, and copies keys to the server, and configures them to grant access by adding them to the file. The copying may ask for a password or other authentication for the server.
For more information you can read a bit more about , and the .