add ssh hostname comma- prefix for convenience (#36199)

3 days ago · 6aecf59536
parent afc7ff1b7a
commit 6aecf59536
1 changed files with 1 additions and 1 deletions
--- a/tools/scripts/ssh.py
+++ b/tools/scripts/ssh.py
@ -50,7 +50,7 @@ if __name__ == "__main__":
  if args.debug:
    command += ["-v"]
  command += [
-    f"comma@{dongle_id}",
+    f"comma@comma-{dongle_id}",
  ]
  if args.debug:
    print(" ".join([f"'{c}'" if " " in c else c for c in command]))