posts tagged: linux
git diff-highlight
2022-07-20
default branch name
2020-06-16
networking nonsense
2019-02-11
weechat setup
2018-11-16
november 13 post mortem
2018-11-13
no more google
2018-08-14
upsides of new dns nameservers
2018-08-14
dns shenanigans post-mortem
2018-08-14
lxd networking and additional IPs
2018-07-26
dotfiles
2018-07-22
hi there
2017-10-02