From 85bf2aa303714918fcb5de1448de0c307ec1306e Mon Sep 17 00:00:00 2001
From: Michael Weiss
Date: Wed, 9 Oct 2019 15:06:38 +0200
Subject: ssh/fsi-copy-id: Update the host list

---
 ssh/fsi-copy-id | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'ssh/fsi-copy-id')

diff --git a/ssh/fsi-copy-id b/ssh/fsi-copy-id
index 6e1e60d..195495f 100755
--- a/ssh/fsi-copy-id
+++ b/ssh/fsi-copy-id
@@ -58,7 +58,8 @@ set user [getSshUser]
 # Request the SSH password
 set password [getSshPassword]
 
-set hosts {"amy" "anja" "kim" "lara" "lea" "nina" "sessel" "sofa" "teri"}
+set hosts {"amy" "anja" "kim" "lara" "lea" "nina" "sessel" "sofa" "teri" "trinity"}
+# Optional: luna
 
 # Try to install the key
 set hostsSkipped 0
-- 
cgit v1.2.3