The Registration Process

Document writer <olivier.nicolas@insa lyon.fr> 2022 11 07

Create your private/public ssh keys

For more information, read this page.

Short version, run:

$ ssh-keygen

Register to access the platform here.

Fiil in your public ssh key in the form’s appropriate section.
By default it will be the content of ~/.ssh/id_rsa.pub

We will let you know when we have updated the platform to include your ssh key.

Configuration

The ssh config file

Create/edit ~/.ssh/config

Host khamul
     Hostname khamul.citi.insa-lyon.fr
     User YOURUSERNAME
     ForwardAgent yes
     StrictHostKeyChecking no
     UserKnownHostsFile=/dev/null
     RequestTTY force
     ServerAliveInterval 30
     ServerAliveCountMax 6

Host device110
     Hostname 10.0.1.110
     User YOURUSERNAME
     ProxyCommand ssh -W %h:%p khamul

Replace YOURUSERNAME by the actual username you entered in the signin form
and adapt the IP address.

Repeat and adapt the last 4 lines for each machine you want to connect to.

The agent

In case you have an ssh passphrase and do not want to have to enter it withn each session:

Edit ~/.bashrc

if [ ! -S ~/.ssh/ssh_auth_sock ]; then
  eval `ssh-agent`
  ln -sf "$SSH_AUTH_SOCK" ~/.ssh/ssh_auth_sock
fi
export SSH_AUTH_SOCK=~/.ssh/ssh_auth_sock
ssh-add -l > /dev/null || ssh-add

Connection

Finally, from your machine, to connect to the device at 10.0.1.110 just do:

$ ssh device110

If you want to connect to your account on khamul, just do:

$ ssh khamul