mirrors/manim
2
0
Fork 0
mirror of https://github.com/ManimCommunity/manim.git synced 2026-06-22 10:01:47 +00:00
Code Issues Projects Releases Packages Wiki Activity

Revert change

Browse source
This commit is contained in:
Leonardo Cariaggi 2026-06-03 08:57:39 +02:00
commit f2dd40166f
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
manim/utils/file_ops.py
View file

@ -195,9 +195,9 @@ def modify_atime(file_path: str) -> None:
def open_file(file_path: Path, in_browser: bool = False) -> None:
current_os = platform.system()
if current_os == "Windows":
# The method os.startfile is only available in Windows.
if hasattr(os, "startfile"):
os.startfile(file_path if not in_browser else file_path.parent)
# The method os.startfile is only available in Windows,
# ignoring type error caused by this.
os.startfile(file_path if not in_browser else file_path.parent) # type: ignore[attr-defined]
else:
if current_os == "Linux":
commands = ["xdg-open"]