This repository has been archived by the owner on Apr 13, 2023. It is now read-only.
Get rid of "publish" #5717
Comments
quintesse
changed the title
quintesse
added a commit
that referenced
this issue
Feb 3, 2016
…e using the distribution modules and not jsut something that happens to be in the user repository (#5717)
quintesse
added a commit
that referenced
this issue
Feb 3, 2016
quintesse
added a commit
that referenced
this issue
Feb 3, 2016
quintesse
added a commit
that referenced
this issue
Feb 3, 2016
…e using the distribution modules and not jsut something that happens to be in the user repository (#5717)
quintesse
added a commit
that referenced
this issue
Feb 3, 2016
Sign up for free
to subscribe to this conversation on GitHub.
Already have an account?
Sign in.
Hijacking this issue because what we really want is to get rid of publishing things to the user repository altogether. It just makes things more complex than necessary and you have to start worrying about where your modules actually come from.
Original issue description below:
[@quintesse] But try to retrieve it from the Ceylon configuration. If it doesn't exist just default to the current value (
~/.ceylon/repo)Needs #1839
[Migrated from ceylon/ceylon-dist#44]
The text was updated successfully, but these errors were encountered: