Provide a mechanism to alias repo URLs

[devpi-bot]

• Bitbucket: https://bitbucket.org/hpk42/devpi/issue/147
• Originally reported by: @jhermann
• Originally created at: 2014-09-04T16:55:53.296

Some people juggle a lot of repos, and we have computers to remember the ugly long URLs for us, so let them do it.

Proposed CLI:

• devpi alias [-c|-m|-l|--delete] «name» «url» to manage aliases
• devpi use «alias» to use them; when an alias and an index name collide, the index can be disambiguated by using «user»/«index»
• devpi use -l would also list alias names

[devpi-bot]

Original comment by @hpk42

I see the use for an alias mechanism butdislike the ambiguity between alias and index name but maybe that's not so bad in practise.

I'd like to think if it can be integrated with "devpi use" directly aka:

• devpi use dev=http://devpi.net/hpk/dev/ would set "dev" as a shortcut for that url

• devpi use dev= would set "dev" as a shortcut for the current url

• devpi use -l would list all indexes and shortcuts

[fschulze]

@jhermann @hpk42 we block a lot of symbols for user names now, so what about using @ or something as a prefix for an alias?