[Python-checkins] peps: new usage to support conversion of only specified PEPs

Wed Mar 23 21:27:34 CET 2011

http://hg.python.org/peps/rev/13b210596813
changeset: 164:13b210596813
user: Jeremy Hylton <jeremy at alum.mit.edu>
date: Mon Aug 28 16:00:49 2000 +0000
summary:
 new usage to support conversion of only specified PEPs
Usage: %(PROGRAM)s [options] [peps]
Notes:
 The optional argument peps can be either pep numbers or .txt files.
Options:
 -u/--user
 SF username
 [rest is the same]
files:
 pep2html.py | 50 +++++++++++++++++++++++++++++++---------
 1 files changed, 38 insertions(+), 12 deletions(-)

diff --git a/pep2html.py b/pep2html.py
--- a/pep2html.py
+++ b/pep2html.py
@@ -2,10 +2,17 @@
 """
 convert PEP's to (X)HTML - courtesy of /F
 
-Usage: %(PROGRAM)s [options] [sf_username]
+Usage: %(PROGRAM)s [options] [peps]
+
+Notes:
+
+ The optional argument peps can be either pep numbers or .txt files.
 
 Options:
 
+ -u/--user
+ SF username
+
 -i/--install
 After generating the HTML, install it SourceForge. In that case the
 user's name is used in the scp and ssh commands, unless sf_username is
@@ -144,6 +151,19 @@
 fo.close()
 os.chmod(outfile, 0664)
 
+
+def find_pep(pep_str):
+ """Find the .txt file indicated by a cmd line argument"""
+ if os.path.exists(pep_str):
+ return pep_str
+ num = int(pep_str)
+ return "pep-%04d.txt" % num
+
+def make_html(file):
+ newfile = os.path.splitext(file)[0] + ".html"
+ print file, "->", newfile
+ fixfile(file, newfile)
+ return newfile
 
 
 def main():
@@ -156,25 +176,31 @@
 except getopt.error, msg:
 usage(1, msg)
 
- if args:
- username = args[0] + '@'
- del args[0]
- if args:
- usage(1, 'unexpected arguments')
-
 for opt, arg in opts:
 if opt in ('-h', '--help'):
 usage(0)
 elif opt in ('-i', '--install'):
 update = 1
+ elif opt in ('-u', '--user'):
+ username = arg + "@"
 
- for file in glob.glob("pep-*.txt"):
- newfile = os.path.splitext(file)[0] + ".html"
- print file, "->", newfile
- fixfile(file, newfile)
+ if args:
+ html = []
+ for pep in args:
+ file = find_pep(pep)
+ newfile = make_html(file)
+ html.append(newfile)
+ os.system("scp %s style.css " % " ".join(html) \
+ + username + HOST + ":" + HDIR)
+ else:
+ # do them all
+ for file in glob.glob("pep-*.txt"):
+ make_html(file)
+ if update:
+ os.system("scp pep-*.html style.css " + \
+ username + HOST + ":" + HDIR)
 
 if update:
- os.system("scp pep-*.html style.css " + username + HOST + ":" + HDIR)
 os.system("ssh " + username + HOST + " chmod 664 " + HDIR + "/*")
 
 
-- 
Repository URL: http://hg.python.org/peps
