From 10d0bf1550d57b5b5a748c86b7c068ed052edbd2 Mon Sep 17 00:00:00 2001
From: Robin Mueller <muellerr@irs.uni-stuttgart.de>
Date: Mon, 2 May 2022 23:51:39 +0200
Subject: [PATCH] mini fix

---
 scripts/q7s-cp.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/q7s-cp.py b/scripts/q7s-cp.py
index c9680b0d..a189e3e6 100755
--- a/scripts/q7s-cp.py
+++ b/scripts/q7s-cp.py
@@ -27,7 +27,7 @@ def prompt_ssh_key_removal():
             print("Invalid port detected")
         else:
             break
-    cmd = f'ssh-keygen -f "$ {{HOME}}/.ssh/known_hosts" -R "[localhost]:{port}"'
+    cmd = f'ssh-keygen -f "${{HOME}}/.ssh/known_hosts" -R "[localhost]:${port}"'
     print(f"Removing problematic SSH key with command {cmd}..")
     os.system(cmd)