From 8528d33f3f0e32b017e81173ef62b36d60bbeef2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jes=C3=BAs?= <heckyel@hyperbola.info>
Date: Sat, 13 Jul 2019 21:35:46 -0500
Subject: [PATCH] update SSH note

---
 ssh/README.md | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/ssh/README.md b/ssh/README.md
index aa80f36..c3905c8 100644
--- a/ssh/README.md
+++ b/ssh/README.md
@@ -20,6 +20,8 @@ To connect to a server, run:
 
     ssh -p port user@server-address
 
+`port` for default is `22`
+
 ### Copy SSH key
 
 1. `sudo apt-get install xclip` or `sudo pacman -S xclip`
@@ -34,9 +36,11 @@ The client can be configured to store common options and hosts. All options can
 
 # host-specific options
 Host myserver
-    HostName server-address
-    Port     port
-
+    HostName ssh.heckyel.ga
+    IdentityFile ~/.ssh/id_rsa
+    user Snowden
+    Port 22
+    ServerAliveInterval 5
 ```
 
 With such a configuration, the following commands are equivalent