chiark / gitweb /
dot/parallel-hosts: Add temporary names for fender hosts at home.
[profile] / dot / parallel-hosts
2024-03-10 Mark Woodingdot/parallel-hosts: Add temporary names for fender...
2024-03-10 Mark Woodingdot/parallel-hosts: Use VPN name for `mdwdev'.
2024-03-10 Mark Woodingdot/parallel-hosts: Disable hosts which I know don...
2020-05-17 Mark Woodingdot/parallel-hosts: Add missing entry for `mango'.
2020-05-17 Mark Woodingdot/parallel-hosts: Introduce `@root' group for all...
2020-05-08 Mark Woodingdot/parallel-hosts: A useful SSH hosts file for GNU...