Host {{ server }} {{ server }}.tanshu.com
    HostName {{ server }}.tanshu.com
    IdentityFile ~/.ssh/id_ed25519
    User tanshu