From 87634181f2b7095e2d764d12ed4169bcaf25d62c Mon Sep 17 00:00:00 2001 From: Egor Tensin Date: Fri, 29 Apr 2022 19:34:02 +0200 Subject: ssh: move host settings to separate file --- %HOME%/.ssh/config | 46 +--------------------------------------------- 1 file changed, 1 insertion(+), 45 deletions(-) (limited to '%HOME%/.ssh/config') diff --git a/%HOME%/.ssh/config b/%HOME%/.ssh/config index de4cdb8..e2f5957 100644 --- a/%HOME%/.ssh/config +++ b/%HOME%/.ssh/config @@ -20,7 +20,7 @@ ServerAliveInterval 15 # Again, why is this not a default? ExitOnForwardFailure yes -Include ~/.ssh/config_local +Include config_local config_my_hosts Host bitbucket.org User git @@ -35,47 +35,3 @@ Host alt-github User git Hostname ssh.github.com Port 443 - -Host vpn.egort.name vpn tensin-vpn - Hostname vpn.egort.name - User algo - Port 80 - ForwardAgent yes - -Host egort.name web tensin-web - Hostname egort.name - User egor - Port 22 - ForwardAgent yes - -Host 192.168.203.13 pc pc1 tensin-pc tensin-pc1 - User egor - ForwardAgent yes - -Host 192.168.205.3 pc.vpn pc1.vpn tensin-pc.vpn tensin-pc1.vpn - Hostname 192.168.205.3 - User egor - ForwardAgent yes - -# TODO: remove tensin-raspi1? -Host 192.168.203.4 pi pi1 raspi raspi1 tensin-raspi tensin-raspi1 - User egor - ForwardAgent yes - -Host 192.168.205.1 pi.vpn pi1.vpn raspi.vpn raspi1.vpn tensin-raspi.vpn tensin-raspi1.vpn - Hostname 192.168.205.1 - User egor - ForwardAgent yes - -Host 192.168.203.8 pi2 raspi2 tensin-raspi2 - User egor - ForwardAgent yes - -Host 192.168.205.4 pi2.vpn raspi2.vpn tensin-raspi2.vpn - Hostname 192.168.205.4 - User egor - ForwardAgent yes - -Host gordey tensin-gordey - Hostname 134.122.93.240 - User root -- cgit v1.2.3