severen.dev
My personal configuration files and scripts.
1# Enable the SSH agent for persisting logins.
2AddKeysToAgent yes
3
4# Enable faster ciphers (my computers have CPUs with AESNI instructions).
5Ciphers aes128-gcm@openssh.com,aes256-gcm@openssh.com,chacha20-poly1305@openssh.com,aes256-ctr,aes192-ctr,aes128-ctr
6
7# Display a 'randomart' image of the host key fingerprint at login and for
8# unknown host keys.
9VisualHostKey yes
10
11# Disable compression with gzip since it is relatively slow and thus becomes a
12# bottleneck on fast connections, which I (thankfully) usually have. It can be
13# manually enabled with the -C flag if required.
14Compression no
15
16{{ if eq .chezmoi.hostname "yggdrasill" -}}
17Host *.sitehost.nz *.sitehost.co.nz *.shq.nz *.webslice.co.nz *.myhost.nz *.myhost.co.nz *.sth.nz 192.168.7.* 192.168.12.*
18 User sitehost
19 # Ghostty's terminfo database entry isn't widespread yet, so manually set
20 # $TERM to a more familiar value. See: https://ghostty.org/docs/help/terminfo
21 SetEnv TERM=xterm-256color
22 # We have lots of _old_ servers and unfortunately I can't upgrade them all
23 # myself.
24 PubkeyAcceptedAlgorithms +ssh-rsa
25
26Host 192.168.7.* 192.168.12.*
27 # These IP addresses are often re-used at work, which prompts SSH to complain
28 # if this is enabled.
29 StrictHostKeyChecking no
30{{- end }}
31
32Host aur.archlinux.org
33 User aur
34
35# Get around firewalls by connecting with SSH over HTTPS for connections to Git
36# forges.
37Host github.com
38 User github
39 Hostname ssh.github.com
40 Port 443
41
42Host gitlab.com
43 User git
44 Hostname altssh.gitlab.com
45 Port 443