From 67dbb3265e20944ed4becea9c1286ad00725f05f Mon Sep 17 00:00:00 2001
From: Andrea Fazzi <posta@andreafazzi.eu>
Date: Thu, 16 Feb 2023 15:28:53 +0100
Subject: [PATCH] Use $HOME in ssh.sh script

---
 ssh.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ssh.sh b/ssh.sh
index b7c62bb..06104ca 100755
--- a/ssh.sh
+++ b/ssh.sh
@@ -1,3 +1,3 @@
 #!/bin/bash
-ssh-keygen -f "/home/pop-os/.ssh/known_hosts" -R "[localhost]:2222"
+ssh-keygen -f "${HOME}/.ssh/known_hosts" -R "[localhost]:2222"
 ssh -p 2222 -o StrictHostKeyChecking=accept-new test@localhost