From db8f7632be46cd09b2cbd19be786c2a3254f0b0a Mon Sep 17 00:00:00 2001
From: Julian Prein <druckdev@protonmail.com>
Date: Fri, 17 Jun 2022 15:10:03 +0200
Subject: [PATCH] ssh: Add aliases to hosts

Add aliases so that I can type short ssh commands.

This also has the benefit that I can lookup in my own files how the
`Hostname` option is called (I am always unsure if it is not `Host`).
---
 .ssh/config | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/.ssh/config b/.ssh/config
index ffb6dc5..e9c961a 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -4,10 +4,13 @@ Host *
 	AddKeysToAgent yes
 	IdentitiesOnly yes
 
-Host aur.archlinux.org
+Host aur.archlinux.org aur
+	Hostname aur.archlinux.org
 	IdentityFile ~/.ssh/aur-druckdev
 	User aur
-Host github.com
+Host github.com github
+	Hostname github.com
 	IdentityFile ~/.ssh/github-druckdev
-Host gitlab.com
+Host gitlab.com gitlab
+	Hostname gitlab.com
 	IdentityFile ~/.ssh/gitlab-druckdev