Skip to content
This repository has been archived by the owner on Jun 13, 2019. It is now read-only.

Provide identity to docker build to allow fetching deps from git repositories #18

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Provide identity to docker build to allow fetching deps from git repositories #18

wants to merge 3 commits into from

Commits on Apr 7, 2017

  1. Provide identity to docker build 

    When docker build is triggered with the mix task, if an host is provided, mix_docker will start a web server serving the identity file on that host.

The Dockerfile.build has been updated to automatically fetch that identity and to use it for cloning any git repositories.
    @tlvenn
    tlvenn committed Apr 7, 2017
    Configuration menu
    Copy the full SHA
    bbc49fc View commit details
    Browse the repository at this point in the history

  2. Provide build_arg to docker in all cases

    @tlvenn
    tlvenn committed Apr 7, 2017
    Configuration menu
    Copy the full SHA
    54debe4 View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2017

  1. Fix --identity-file option name

    @tlvenn
    tlvenn committed Apr 11, 2017
    Configuration menu
    Copy the full SHA
    be118a0 View commit details
    Browse the repository at this point in the history