midas

How to connect to midas

  1. First you need to have SSH working:
    1. Find your SSH key (in your $HOME/.ssh directory). Or generate it, with $ssh-keygen.

      It is located in the file id_rsa.pub inside you $HOME/.ssh directory.

    2. Send it to helpmi-saclay@inria.fr and ask for midas access for your INRIA login
    3. After confirmation, you have SSH access to ssh.saclay.inria.fr.

      Try it: ssh ssh.saclay.inria.fr! Then disconnect exit.

      May be you have to type $ ssh your-inria-login@ssh.saclay.inria.fr, if your login name on your local machine is not your INRIA login name (a classic pitfall).

    4. Copy it on the remote ssh.saclay.inria.fr machine, using scp -r .ssh ssh.saclay.inria.fr:
  2. To connect from outside the INRIA network
    1. First you have to reach ssh.saclay.inria.fr $ ssh ssh.saclay.inria.fr.

      May be you have to type $ ssh your-inria-login@ssh.saclay.inria.fr, if your login name on your local machine is not your INRIA login name (a classic pitfall).

    2. Then you can reach midas with $ ssh midas.grace
  3. To connect from the INRIA network:
    1. No need to bounce through the ssh.saclay.inria.fr gateway. Reach directly midas with $ ssh midas.grace.

Trick for automatic bouncing

  • Paste the following in your .ssh/config file:

    Host midas.gateway
    ProxyCommand ssh -q ssh.saclay.inria.fr nc midas.grace 22

  • When you type ssh midas.gateway you will automatically go through the gateway, and when you type ssh midas.grace, you get direct access (only inside the INRIA network)