Docker中添加自定义Lisp演算文件至SparQ镜像及自制镜像问题

背景 #

我是Docker新手，已通过命令docker pull dwolter/sparq:latest拉取了SparQ空间推理工具箱的Docker镜像。该镜像包含一组Lisp格式的演算文件，可在Windows Docker中用于空间推理。我开发了自定义演算文件，需要将其添加至该镜像。

我尝试使用cp命令完成操作但未成功，因为不清楚镜像内的文件路径，即不知道应将文件放置在镜像内的哪个位置；另外，将文件放在容器根目录后执行commit命令时，出现了“资源访问被拒绝”的错误。

问题与解答 #

1. 镜像内的文件路径是否与我本地下载的SparQ应用文件夹路径一致？ #

不一定一致。Docker镜像的文件结构由镜像构建时的配置决定，和本地手动下载的SparQ文件夹结构可能存在差异。要确认镜像内的演算文件存放路径，可以启动一个临时容器查看：

docker run --rm -it dwolter/sparq:latest /bin/bash

进入容器后，执行以下命令查找演算目录：

find / -name "calculi" -type d

2. 如何将自定义Lisp演算文件添加至Docker镜像？ #

推荐两种可靠的实现方式：

• 方式一：用Dockerfile构建新镜像（推荐，可维护性强）

  1. 在本地新建一个目录，将自定义演算文件（比如my-calculus.lisp）放入该目录，同时创建Dockerfile文件，内容如下（替换<实际演算目录>为你第一步查到的路径）：

  FROM dwolter/sparq:latest
  COPY my-calculus.lisp <实际演算目录>/
  

  2. 执行镜像构建命令：

  docker build -t my-custom-sparq .
  

• 方式二：修正权限后用commit提交
  如果坚持使用commit，需要确保操作目录有写入权限：

  1. 以root权限启动容器：

  docker run -it --user root dwolter/sparq:latest /bin/bash
  

  2. 在另一个终端将本地文件复制到容器内的正确演算目录：

  docker cp my-calculus.lisp <容器ID>:<实际演算目录>/
  

  3. 提交新镜像：

  docker commit <容器ID> my-custom-sparq
  

  注意：这种方式无法留存构建步骤，后续更新需要重复操作，可维护性较差。

3. 能否基于本地已配置好的SparQ应用文件夹自制Docker镜像？ #

完全可以，步骤如下：

1. 确保本地的SparQ文件夹已完成自定义演算配置，且能正常运行。
2. 新建Dockerfile，基于合适的基础镜像（可以通过docker inspect dwolter/sparq:latest | grep "From"查看原镜像的基础镜像），示例如下：

# 替换为原镜像的基础镜像，比如debian:bullseye-slim
FROM debian:bullseye-slim
# 安装SparQ运行所需依赖（比如clisp等，根据原镜像的依赖调整）
RUN apt-get update && apt-get install -y clisp --no-install-recommends && rm -rf /var/lib/apt/lists/*
# 复制本地配置好的SparQ文件夹到镜像内
COPY ./my-local-sparq /app/sparq
# 设置工作目录
WORKDIR /app/sparq
# 设置默认启动命令
CMD ["clisp", "sparq.lisp"]

3. 将Dockerfile和本地SparQ文件夹（my-local-sparq）放在同一目录，执行构建命令：

docker build -t my-local-sparq .

内容的提问来源于stack exchange，提问作者Satoti