I'm a fan - this sounds like a great improvement! Paul
On Tue, May 24, 2016 at 1:13 PM, Eric Meadows-Jönsson < [email protected]> wrote: > Today we have `mix escript.install` for installing escripts on the local > system. > It supports installing pre-built escripts from the local filesystem or via > HTTP. > > One issue with this is that the project maintainers need to build and host > the > escripts themselves which goes against the conveniences we have built > around Mix > with Hex and the surrounding tooling such as HexDocs. > > We propose to extend the `escript.install` task with support for building > and > installing projects via Git URLs or Hex package names. Examples of this > would be: > > $ mix escript.install github my_project git_ref > $ mix escript.install git https://path/to/git/repo git_ref > $ mix escript.install hex phoenix_new > $ mix escript.install hex phoenix_new 1.2.3 > > This would fetch the project and its dependencies to a temporary directory > with > Mix' dependency tooling, build the project as an escript and install it on > the > local system. > > -- > Eric Meadows-Jönsson > > -- > You received this message because you are subscribed to the Google Groups > "elixir-lang-core" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/elixir-lang-core/CAM_eaphaedqPnGyZSBM4hny%3D_Xv3rMz4R8kHW8ow-uYPPueiMQ%40mail.gmail.com > <https://groups.google.com/d/msgid/elixir-lang-core/CAM_eaphaedqPnGyZSBM4hny%3D_Xv3rMz4R8kHW8ow-uYPPueiMQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "elixir-lang-core" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/elixir-lang-core/CAK%3D%2B-Tt4CJVqb8Yf5JsgyA%2BwponnPo9uaiJrqikXJnRhJLRkSw%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
