From 833e03da6a9fb67e38afe3f03b715b8b59fc9340 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Cyryl=20P=C5=82otnicki?= <cyplo@cyplo.dev>
Date: Thu, 2 Feb 2023 11:49:03 +0000
Subject: [PATCH] make sure different users use the correct ssh port when
 connecting to vpsfree

---
 nixos/distributed-builds.nix        | 2 +-
 nixos/home-manager/programs/ssh.nix | 9 ++++-----
 2 files changed, 5 insertions(+), 6 deletions(-)

diff --git a/nixos/distributed-builds.nix b/nixos/distributed-builds.nix
index c3ba42e8..e96c7108 100644
--- a/nixos/distributed-builds.nix
+++ b/nixos/distributed-builds.nix
@@ -1,6 +1,6 @@
 { config, pkgs, ... }: {
   programs.ssh.extraConfig = ''
-    Host vpsfree1
+    Host vpsfree1 vpsfree1.cyplo.dev vpsfree1.raptor-carp.ts.net
         HostName vpsfree1
         Port 2222
     StrictHostKeyChecking=accept-new
diff --git a/nixos/home-manager/programs/ssh.nix b/nixos/home-manager/programs/ssh.nix
index e7746606..010d111b 100644
--- a/nixos/home-manager/programs/ssh.nix
+++ b/nixos/home-manager/programs/ssh.nix
@@ -1,9 +1,8 @@
-{
-  config,
-  pkgs,
-  ...
-}: {
+{ config, pkgs, ... }: {
   programs.ssh.extraConfig = ''
+    Host vpsfree1 vpsfree1.cyplo.dev vpsfree1.raptor-carp.ts.net
+        HostName vpsfree1
+        Port 2222
     StrictHostKeyChecking=accept-new
   '';
 }