# SSH For my own hosts
# Supermicro machine in the server rack
Host cobalt
    HostName 10.85.3.6
    User root

# Supermicro machine in the server rack
Host manganese
    HostName 10.85.3.5
    User root

# R710
Host magnesium
    HostName 10.85.3.4
    User root

# The small romi robot for 1721
Host romi
    HostName 10.17.21.55
    User joe

# My main NAS
Host zinc
    HostName 10.85.3.120
    User joe

# APRS 
Host houston
    HostName 10.85.3.39
    User root


# Robotics
# 1721's main NAS
Host flattoaster
    HostName 10.17.21.10
    User root

Host lapis
    HostName 10.17.21.30
    User joe


# SSH for git servers
# Gitlab
Host gitlab.com
    IdentityFile ~/.ssh/gitlab
    UpdateHostKeys no

# Arch User Repo
Host aur.archlinux.org
    IdentityFile ~/.ssh/aur
    User aur

# Personal Git Server
Host kitsunehosting.net
    Port 2222
    IdentityFile ~/.ssh/gitea

# Github
Host github.com
    IdentityFile ~/.ssh/github


# Silvertech
Host devserver
    HostName 10.12.32.35
    User joe

# The little docker host in the closet
# Runs the vestabot image
Host stdocker1
    HostName 10.20.30.225
    IdentityFile ~/.ssh/stdocker

# Argen pi
Host argen
    HostName 10.20.30.224