Fix the equivalent of ssh-copy-id, now works!

Signed-off-by: Fabrice Normandin <[email protected]>
mila-iqia · Nov 6, 2023 · 61d608c · 61d608c
1 parent 845e313
commit 61d608c
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/milatools/cli/commands.py b/milatools/cli/commands.py
@@ -421,9 +421,12 @@ def init():
         ):
             # NOTE: If we're on a Windows machine, we do something different here:
             if sys.platform == "win32":
-                here.run(
-                    'cat ~/.ssh/id_rsa.pub | ssh mila "cat >> ~/.ssh/authorized_keys"'
+                command = (
+                    "powershell.exe type $env:USERPROFILE\\.ssh\\id_rsa.pub | ssh mila "
+                    '"cat >> ~/.ssh/authorized_keys"'
                 )
+                print(T.bold_green("(local) $ " + command))
+                subprocess.getoutput(command)
             else:
                 here.run("ssh-copy-id", "mila")
             if not here.check_passwordless("mila"):