Skip to content

SSH Keys

PSILON can register your SSH public key the first time you connect.

Create or find your key

If you already use SSH, your public key is usually one of these files:

~/.ssh/id_ed25519.pub
~/.ssh/id_rsa.pub

To create a new Ed25519 key:

ssh-keygen -t ed25519 -C "[email protected]"

Copy the public key, not the private key. The public key ends in .pub.

Register automatically

Run:

ssh psilon.dev

If the key is new, PSILON prints a registration link. Open it in your browser and sign in with CERN SSO. The waiting SSH session continues after the key is linked to your account.

Unregistered attempts expire automatically after the enrollment TTL and are cleaned up on the server in the background.

If SSH offers the wrong key, pass the intended key explicitly:

ssh -i ~/.ssh/id_ed25519 -o IdentitiesOnly=yes psilon.dev

Add a key manually

  1. Open app.psilon.dev.
  2. Go to Profile.
  3. Paste the public key into the SSH key form.
  4. Save it.

Connect

Use the PSILON SSH gateway:

ssh psilon.dev

If SSH asks which key to use, pass it explicitly:

ssh -i ~/.ssh/id_ed25519 -o IdentitiesOnly=yes psilon.dev