On 12 Oct 2013 09:32, "Mark Lawrence" <breamore...@yahoo.co.uk> wrote: > > On 12/10/2013 00:13, Victor Stinner wrote: >> >> Hi, >> >> What do you think of adding an optional identifier to a PEP to get a >> readable URL? >> >> Example: >> http://www.python.org/dev/peps/qualname/ >> instead of >> http://www.python.org/dev/peps/pep-0395/ >> >> Other examples: >> >> 305: csv >> 450: statistics >> 3156: asyncio >> >> An identifier must only contain lower case letters (a-z), digits >> (0-9), dot (.) and underscore (_). It should be short (max. 20 >> characters)... and unique. Regex: ^[a-z0-9._]{1,20}$. >> >> For draft PEP, the identifier may change. If it's an issue (dead URL), >> we may allow multiple identifiers (ex: add also "tulip" for 3156), or >> only add an identifier to accepted PEPs. >> >> I don't know yet how it can be implemented at server side. >> >> Victor >> > > If it's easy to do why not? > If it's difficult why bother, I find it easy enough to find stuff by searching directly on the PEP index?
Agreed, doesn't seem worth the hassle to me. Cheers, Nick. > > -- > Roses are red, > Violets are blue, > Most poems rhyme, > But this one doesn't. > > Mark Lawrence > > > _______________________________________________ > Python-Dev mailing list > Python-Dev@python.org > https://mail.python.org/mailman/listinfo/python-dev > Unsubscribe: https://mail.python.org/mailman/options/python-dev/ncoghlan%40gmail.com
_______________________________________________ Python-Dev mailing list Python-Dev@python.org https://mail.python.org/mailman/listinfo/python-dev Unsubscribe: https://mail.python.org/mailman/options/python-dev/archive%40mail-archive.com
