nodet
commented
2 years ago URLs offer the greatest flexibility, and can handle the case of test clusters, etc. So we need to keep a way to specify a URL. But they are cumbersome, in particular if the idea is to allow quickly to connect to some other user's space in another region. So having something that's simpler to use would be welcome.
Let's add a region key in the credentials and the command line options, that can have values us-south, eu-gb, eu-de, jp-tok. The priority order between all these parameters will be the following:
- command line options take priority over the content of the credentials
- only one of 'region' and 'url' can be specified at each level (command line, credentials).
In other words, you can put either 'region' or 'url' on the command line, but not both, and the one specified will take priority over anything that's in the credentials file. And, in the credentials file, you can use either 'region' or 'url', but not both. This seems the safest option, in that it minimises the risk of using a cluster that is not the one you intended.
When one wants to connect to somebody else's space, the space id is not necessarily enough: the space may be in a region that's not the usual user's region. Providing a way to change the URL on the command line would be easier than creating a new credentials file.