mirror of
https://github.com/jeertmans/manim-slides.git
synced 2025-05-18 19:16:21 +08:00
eb8efa8e3d
* feat(lib): add playback rate config options Basic playback rate config options, closes #309 * [pre-commit.ci] auto fixes from pre-commit.com hooks for more information, see https://pre-commit.ci --------- Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
74 lines
2.5 KiB
Python
74 lines
2.5 KiB
Python
import json
|
|
|
|
import click
|
|
import requests
|
|
from click_default_group import DefaultGroup
|
|
|
|
from .__version__ import __version__
|
|
from .convert import convert
|
|
from .logger import logger
|
|
from .present import list_scenes, present
|
|
from .render import render
|
|
from .wizard import init, wizard
|
|
|
|
|
|
@click.group(cls=DefaultGroup, default="present", default_if_no_args=True)
|
|
@click.option(
|
|
"--notify-outdated-version/--silent",
|
|
" /-S",
|
|
is_flag=True,
|
|
default=True,
|
|
help="Check if a new version of Manim Slides is available.",
|
|
)
|
|
@click.version_option(__version__, "-v", "--version")
|
|
@click.help_option("-h", "--help")
|
|
def cli(notify_outdated_version: bool) -> None:
|
|
"""
|
|
Manim Slides command-line utilities.
|
|
|
|
If no command is specified, defaults to `present`.
|
|
"""
|
|
# Code below is mostly a copy from:
|
|
# https://github.com/ManimCommunity/manim/blob/main/manim/cli/render/commands.py
|
|
if notify_outdated_version:
|
|
manim_info_url = "https://pypi.org/pypi/manim-slides/json"
|
|
warn_prompt = "Cannot check if latest release of Manim Slides is installed"
|
|
try:
|
|
req_info: requests.models.Response = requests.get(manim_info_url, timeout=2)
|
|
req_info.raise_for_status()
|
|
stable = req_info.json()["info"]["version"]
|
|
if stable != __version__:
|
|
click.echo(
|
|
"You are using Manim Slides version "
|
|
+ click.style(f"v{__version__}", fg="red")
|
|
+ ", but version "
|
|
+ click.style(f"v{stable}", fg="green")
|
|
+ " is available."
|
|
)
|
|
click.echo(
|
|
"You should consider upgrading via "
|
|
+ click.style("pip install -U manim-slides", fg="yellow")
|
|
)
|
|
except requests.exceptions.HTTPError:
|
|
logger.debug(f"HTTP Error: {warn_prompt}")
|
|
except requests.exceptions.ConnectionError:
|
|
logger.debug(f"Connection Error: {warn_prompt}")
|
|
except requests.exceptions.Timeout:
|
|
logger.debug(f"Timed Out: {warn_prompt}")
|
|
except json.JSONDecodeError:
|
|
logger.debug(warn_prompt)
|
|
logger.debug(f"Error decoding JSON from {manim_info_url}")
|
|
except Exception:
|
|
logger.debug(f"Something went wrong: {warn_prompt}")
|
|
|
|
|
|
cli.add_command(convert)
|
|
cli.add_command(init)
|
|
cli.add_command(list_scenes)
|
|
cli.add_command(present)
|
|
cli.add_command(render)
|
|
cli.add_command(wizard)
|
|
|
|
if __name__ == "__main__":
|
|
cli()
|