What's the use case? I just use Google search if I don't recall the PEP number.
On Fri, Oct 11, 2013 at 4:13 PM, Victor Stinner <victor.stin...@gmail.com>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 > _______________________________________________ > 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/guido%40python.org > -- --Guido van Rossum (python.org/~guido)
_______________________________________________ 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
