# Title: config
# Author: Frédéric CHEVALIER <vaderf@free.fr>
# Version: 1.1
# Created in: 2015-02-18
# Modified in: 2022-02-24



#==========#
# Versions #
#==========#

# v1.1 - 2022-02-24: host options simplified with matching domain / conditional jump server added
# v1.0 - 2022-01-23: work domain name updated / office machine name updated / dead server discarded
# v0.10 - 2020-11-23: work server updated
# v0.9 - 2019-03-14: ssh options updated / work server updated
# v0.8 - 2018-07-23: ssh options updated / work server updated
# v0.7 - 2018-05-10: update ssh port on personal US server because of AT&T restriction / update work server
# v0.6 - 2017-06-18: github servers added
# v0.5 - 2017-04-18: update hostname / update identity files with rsa keys
# v0.4 - 2016-08-14: X11 options changed due to bashrc changes
# v0.3 - 2016-01-19: servers updated / remove default user
# v0.2 - 2016-01-01: Winka office added
# v0.1 - 2015-12-24: version section added / server names updated
# v0.0 - 2015-02-18: creation



#==================#
# Personal servers #
#==================#

Host github
    HostName github.com
    User git
    IdentityFile ~/.ssh/github.rsa
    ForwardX11 no
    ForwardX11Trusted no


#-----#
# USA #
#-----#

Host wf
    HostName vaderf.com
    User wf
    IdentityFile ~/.ssh/main-server.rsa
    Port 2222
    ForwardX11 yes
    ForwardX11Trusted yes

Host fwf
    HostName vaderf.com
    User fred
    IdentityFile ~/.ssh/fred_perso.rsa
    Port 2222
    ForwardX11 yes
    ForwardX11Trusted yes


Host mc
    HostName media-center.local
    User wf2
    IdentityFile ~/.ssh/fred_perso.rsa
    ForwardX11 yes
    ForwardX11Trusted yes


Host winka
    HostName 192.168.1.70
    user winka
    IdentityFile ~/.ssh/fred_perso.rsa
    ForwardX11 yes
    ForwardX11Trusted yes


#--------#
# France #
#--------#

Host wfr
    HostName vaderf.ddns.net
    User wf
    IdentityFile ~/.ssh/main-server.rsa

Host fwfr
    HostName vaderf.ddns.net
    User fred
    IdentityFile ~/.ssh/fred_perso.rsa



#==============#
# Work servers #
#==============#

Host github_p
    HostName github.com
    User git
    IdentityFile ~/.ssh/github_pro.rsa
    ForwardX11 no
    ForwardX11Trusted no


Host heron
    HostName heron.txbiomed.org
    PubkeyAuthentication no
    ServerAliveInterval 120
    LogLevel QUIET

## Connection to servers below works only after connection to heron from outside work network ##

Host zeus
    HostName zeus.txbiomed.org

Host bulmer
    HostName bulmer.txbiomed.org

Host crow
    HostName crow.txbiomed.org

Host titan
    HostName titan.txbiomed.org

# Fred office
Host office
    HostName gen-labtechlt2.txbiomed.local

# Winka office
Host woffice
    HostName gen-labtechlt1.txbiomed.local
    User winkal

# Conditional jump host
Match host !heron.txbiomed.org,*.txbiomed.org,*.txbiomed.local !exec "ping -c 1 zeus.txbiomed.org &> /dev/null"
    ProxyJump heron

# Default values for host in TxBiomed domain
Match host *.txbiomed.org,*.txbiomed.local
    User fcheval
    ForwardX11 yes
    ForwardX11Trusted yes



#==================#
# General settings #
#==================#

# NB: These general settings must be at the end, the first value being used for each parameter (cf. man ssh_config).

Host *
    IdentityFile ~/.ssh/fred_work.rsa
    ForwardAgent no
    ForwardX11 no
    ForwardX11Trusted no
    Port 22
    Protocol 2