diff options
author | Chigang(Justin) <chigang@huawei.com> | 2015-08-18 12:17:22 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@172.30.200.206> | 2015-08-18 12:17:22 +0000 |
commit | 8df99c5890236b6acc7578f663f36fd0deafa453 (patch) | |
tree | 8b3e63682d7c3cbb78e4fe0d811086cfa1d93dea /ci/trusty | |
parent | ade17ce57eb08dbf262cb9b6f1893367e2832dc1 (diff) | |
parent | 3656b2525c9b4e8c5e1f45625adb1cd143425dc0 (diff) |
Merge "Generate ppa repositories automatically"
Diffstat (limited to 'ci/trusty')
-rw-r--r-- | ci/trusty/juno/Dockerfile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/ci/trusty/juno/Dockerfile b/ci/trusty/juno/Dockerfile new file mode 100644 index 00000000..2936d0ea --- /dev/null +++ b/ci/trusty/juno/Dockerfile @@ -0,0 +1,19 @@ +FROM ubuntu:14.04.3 +MAINTAINER Chigang(Justin) <chigang@huawei.com> + +# TODO: Is there some easy way to get the fastest/closest mirror? +RUN sed -i 's/archive.ubuntu.com/mirrors.163.com/g' /etc/apt/sources.list + +#RUN apt-get update + +RUN rm -f /etc/apt/apt.conf.d/docker-clean +ADD ./install_packages.sh /tmp/chigang/ +RUN chmod +x /tmp/chigang/install_packages.sh +RUN /tmp/chigang/install_packages.sh + +ADD ./cp_repo.sh /tmp/chigang/ +RUN chmod +x /tmp/chigang/cp_repo.sh +RUN mkdir /result + +CMD ["/tmp/chigang/cp_repo.sh"] +#VOLUME /tmp/chigang |