docker - 如何复制文件解压缩并在dockerfile中重命名
问题描述
在 docker build 过程中,我想执行以下任务
- 使用 wget 下载 zip 文件
- 将 zip 文件复制到容器 /var/tmp/dest
- 在 dest /var/tmp/dest1 解压缩 zip 文件 ==> 结果是 1 个文件 x.jar
- 将 x.jar 文件从 /var/tmp/dest1 复制到根位置 /
我能够执行 #1 2 和 3 步骤,但由于 docker 文件中 #4 的权限问题而失败我正在使用 RUN cp /var/tmp/dest1/x.jar /
我们可以将容器内的文件从一个位置复制/或移动到另一个位置吗?
这是dockerfile的内容
运行 wget --quiet --directory-prefix=/var/tmp/ --no-check-certificate artifact-1.zip
运行解压 /var/tmp/artifact-1.zip -d /var/tmp/
运行 cp /var/tmp/artifact-*.jar x.jar
运行 ls -ld / && ls -latr
解决方案
推荐阅读
- css - 平板设备媒体查询的最低分辨率?
- reactjs - React - 点击时进行常见问题解答类切换
- android - 如何使演员可触摸 LibGdx
- haskell - 使用 map 函数将返回 Monad 类型的函数应用于列表
- api - 将物联网设备与亚马逊 Alexa 集成
- gradle - gradle/JavaFX 项目中模块 javafx.base 的两个版本
- javascript - 基于动态布尔角度显示 div
- windows - Android Studio Ctrl + Alt + Left/Right 在 Windows 中不起作用
- r - 在 x 轴上生成不均匀采样的连续热图
- r - 子集()参数被视为R中的对象(找不到对象)