source code of image/video generated by manim
建议使用 docker manimcommunity/manim
docker pull manimcommunity/manim默认使用 latest 分支，也可以使用 stable 分支
docker pull manimcommunity/manim:stable可以像文档中一样首次运行打开 /bin/bash
docker run -it --name <CONTAINER_NAME> -v "$(pwd):/manim" manimcommunity/manim /bin/bash
但其实用处不大，可以直接使用 -itd
<CONTAINER_NAME> 填一个简单的容器名字即可，建议不要使用 manim 这种和工具本身相同的名字
$(pwd) 即执行命令时所在路径，请在本项目的根目录下执行指令
在容器运行的过程中，使用下述命令生成 1080p 图片、视频
docker exec -it --user="$(id -u):$(id -g)" <CONTAINER_NAME> manim /path/to/code.py <IMG/VIDEO_NAME> -qh
想生成质量低的，可以使用 -ql 代替 -qh
生成文件在 media/path/to/code/ 中
编写 python 代码，建议建一个有 manim 库的虚拟环境