From cf12586ef3580e6efdacd7b8859b3223cefa11d3 Mon Sep 17 00:00:00 2001 From: Alona Enraght-Moony Date: Fri, 14 Apr 2023 16:30:08 +0100 Subject: [PATCH] dev-desktop.md: Document ssh alias --- src/infra/docs/dev-desktop.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/infra/docs/dev-desktop.md b/src/infra/docs/dev-desktop.md index c6a00074e..0c646a98c 100644 --- a/src/infra/docs/dev-desktop.md +++ b/src/infra/docs/dev-desktop.md @@ -51,6 +51,16 @@ minutes after the key has been added before the dev desktops get updated. - [Generating a new SSH key and adding it to the ssh-agent](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/generating-a-new-ssh-key-and-adding-it-to-the-ssh-agent) - [Adding a new SSH key to your GitHub account](https://docs.github.com/en/authentication/connecting-to-github-with-ssh/adding-a-new-ssh-key-to-your-github-account) +To make the command easier, you can configure an alias in your `~/.ssh/config` like so: + +```ssh-config +Host rustvm + User + HostName .infra.rust-lang.org +``` + +Then you can connect with `ssh rustvm`. + ## How to set up your account When connecting to the machine for the first time, there are a few things you