fix(deploy_robots): default to bitbots_main workspace

as we now sync to the home dir otherwise with `rsync --delete` and
this results in deleting a bunch of important files e.g. `.zshrc`

Author: texhnolyze

scripts/deploy/deploy_robots.py

@@ -118,8 +118,8 @@ def _parse_arguments(self) -> argparse.Namespace:
         parser.add_argument(
             "-w",
             "--workspace",
-            default=".",
-            help="Path to the workspace directory to deploy to. Defaults to the current directory.",
+            default="./bitbots_main",
+            help="Path to the workspace directory to deploy to. Defaults to the directory 'bitbots_main'.",
         )
         parser.add_argument("--skip-local-repo-check", action="store_true", help="Skip the local repository check.")
 

scripts/deploy/tasks/sync.py

@@ -45,6 +45,7 @@ def _sync_single(connection: Connection) -> Result | None:
                 "rsync",
                 "--checksum",
                 "--archive",
+                "--delete",
                 "-e",
                 '"ssh -o StrictHostKeyChecking=no"',
                 f"--exclude-from={os.path.join(self._local_workspace, '.rsyncignore')}",