diff options
author | Yigit Sever | 2019-12-25 20:28:34 +0300 |
---|---|---|
committer | Yigit Sever | 2019-12-25 20:28:34 +0300 |
commit | 9a550708b34ab9c391f82ba535130034a52d19c9 (patch) | |
tree | bb655ac2288a9be4491c22ec92aa208f24658482 /.ssh/config | |
parent | 0ee8d81649c027a8bfbd9d740325f5e922eb9705 (diff) | |
download | dotfiles-9a550708b34ab9c391f82ba535130034a52d19c9.tar.gz dotfiles-9a550708b34ab9c391f82ba535130034a52d19c9.tar.bz2 dotfiles-9a550708b34ab9c391f82ba535130034a52d19c9.zip |
fix taskserver connection
keep alive so server doesn't time us out
Diffstat (limited to '.ssh/config')
-rw-r--r-- | .ssh/config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.ssh/config b/.ssh/config index bce878a..2930dbb 100644 --- a/.ssh/config +++ b/.ssh/config | |||
@@ -12,6 +12,7 @@ Host overseer | |||
12 | HostName 207.154.210.186 | 12 | HostName 207.154.210.186 |
13 | Port 22 | 13 | Port 22 |
14 | User yigit | 14 | User yigit |
15 | ServerAliveInterval 180 | ||
15 | Host dev | 16 | Host dev |
16 | HostName 10.10.3.49 | 17 | HostName 10.10.3.49 |
17 | Port 22 | 18 | Port 22 |