aboutsummaryrefslogtreecommitdiff
path: root/ssh/fsi-copy-id
diff options
context:
space:
mode:
authorMichael Weiss2019-10-09 15:06:38 +0200
committerMichael Weiss2019-10-09 15:06:38 +0200
commit85bf2aa303714918fcb5de1448de0c307ec1306e (patch)
tree77e8fe4ec2c29ffa5612ec30cc7136f698d77dc2 /ssh/fsi-copy-id
parentf0657726205b8a8a053658e58797993d3fa9cd16 (diff)
ssh/fsi-copy-id: Update the host list
Diffstat (limited to 'ssh/fsi-copy-id')
-rwxr-xr-xssh/fsi-copy-id3
1 files changed, 2 insertions, 1 deletions
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