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 +-------------------------------------------- %HOME%/.ssh/config_my_hosts | 43 ++++++++++++++++++++++++++++++++++++++++++ 2 files changed, 44 insertions(+), 45 deletions(-) create mode 100644 %HOME%/.ssh/config_my_hosts 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 diff --git a/%HOME%/.ssh/config_my_hosts b/%HOME%/.ssh/config_my_hosts new file mode 100644 index 0000000..6ecf911 --- /dev/null +++ b/%HOME%/.ssh/config_my_hosts @@ -0,0 +1,43 @@ +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