docker:3.12.7 镜像使用的是 debian 系统，比 ubuntu 更轻量。debian 系统内，apt 镜像源列表位于 /etc/apt/source.list.d/debian.list（作为对比，ubuntu 的镜像列表位于 /etc/apt/source.list，二者语法相同）。

为了方便编译镜像，需要修改 apt 镜像源。借鉴修改 ubuntu 镜像的一行命令：

RUN sed -i s:/archive.ubuntu.com:/mirrors.tuna.tsinghua.edu.cn/ubuntu:g /etc/apt/sources.list

修改 debian 镜像源的命令是

RUN sed -i s:/deb.debian.org:/mirrors.tuna.tsinghua.edu.cn:g /etc/apt/sources.list.d/*

其中，sed -i 表示原地修改文件，s 是替换命令，会按 : 分隔，把前两个冒号之间的文本替换成后两个冒号之间的文件。

注：在清华园网站上，source.list 形如：

Types: deb
URIs: https://mirrors.tuna.tsinghua.edu.cn/debian
Suites: bookworm bookworm-updates bookworm-backports
Components: main contrib non-free non-free-firmware
Signed-By: /usr/share/keyrings/debian-archive-keyring.gpg

此外，最好用 ENV PIP_INDEX_URL=https://pypi.tuna.tsinghua.edu.cn/simple 替换 pip 镜像。不知道为什么 docker 里面 pip 巨慢。

以及，最好在开发的时候顺便把 dockerfile 写了，不然忘完了