ceylon/ceylon-spec — Issue #178: Add ceylon configuration file
Author: FroMage
Created: 2012-02-16 17:24:24+00:00
State: open
Labels: feature, request for feedback

If we want to push to HTTP repos, we need config to specify the repo user/passwd so we should be able to add config per repo URL. We should copy the structure of git config files, and provide a command like git has to list/edit/remove/change config (`git config`… `ceylon-config`?). This way the file is human-readable/editable and git users are used to how to edit it, either manually or via a specific command.

Initially we can support user/password on the command line for `ceylonc` because it has only one `-out` repo, but this is very bad for security reasons (though handy in some cases), and it doesn't solve the problem for input repos. Furthermore, supporting a configuration like git ensures that we've solved the problem of config once and for all.