Expand the output path in MujocoVideoRecorder.write_video

ami-iit · Jul 2, 2024 · a5999d9 · a5999d9
1 parent 85bceda
commit a5999d9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/jaxsim/mujoco/visualizer.py b/src/jaxsim/mujoco/visualizer.py
@@ -81,6 +81,9 @@ def record_frame(self, camera_name: str | None = None) -> None:
     def write_video(self, path: pathlib.Path, exist_ok: bool = False) -> None:
         """Writes the video to a file."""
 
+        # Resolve the path to the video.
+        path = path.expanduser().resolve()
+
         if path.is_dir():
             raise IsADirectoryError(f"The path '{path}' is a directory.")