[pydotorg-www] Fwd: Suggestion: add more aliases for PEPs
barry at python.org
Fri Sep 3 19:36:16 CEST 2010
I dunno, I just do the mental 0-padding myself. I have a shortcut in my
browsers that let me do "pep 0370" or even "pep 0000" for example. Seems good
enough to me.
On Sep 03, 2010, at 05:44 PM, webmaster at python.org wrote:
>-------- Original Message --------
>Subject: Suggestion: add more aliases for PEPs
>Date: Fri, 3 Sep 2010 11:39:33 -0500
>From: Robert Kern <robert.kern at gmail.com>
>To: webmaster at python.org
>Would it be possible to add more aliases for PEP URLs to allow, e.g.,
>I would like to set up a search engine shortcut in Google Chrome (or a
>Quick Search in Firefox) that would let me type "pep 370" in the URL
>field and bring up the appropriate page. As far as I know, you can
>only set up these search engine URLs to just put in the escaped form
>of the search term; there are no facilities for doing 0-padding.
>When reading python-dev discussions, everyone just uses the PEP number
>and assumes that everyone knows what the PEP is about. Having a quick
>way to get to the PEPs (without remembering to 0-pad) would be help
>people keep track of what is going on more easily.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 836 bytes
Desc: not available
More information about the pydotorg-www