[Python-checkins] peps: try to change rights of peps to rw-rw-r--

Wed Mar 23 21:23:10 CET 2011

http://hg.python.org/peps/rev/faf7c8ee91fe
changeset:   42:faf7c8ee91fe
user:        Peter Schneider-Kamp <nowonder at nowonder.de>
date:        Tue Jul 25 04:12:28 2000 +0000
summary:
  try to change rights of peps to rw-rw-r--

files:
  pep2html.py |  9 +++++++--
  1 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/pep2html.py b/pep2html.py
--- a/pep2html.py
+++ b/pep2html.py
@@ -17,6 +17,9 @@
 # this doesn't validate -- you cannot use <hr> and <h3> inside <pre>
 # tags.  but if I change that, the result doesn't look very nice...
 
+HOST = "shell.sourceforge.net" # host for update
+HDIR = "/home/groups/python/htdocs/peps" # target host directory
+
 DTD = ('<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"\n'
        '                      "http://www.w3.org/TR/REC-html40/loose.dtd">')
 
@@ -90,6 +93,8 @@
     fo.write("</pre>\n")
     fo.write("</body>\n")
     fo.write("</html>\n")
+    fo.close()
+    os.chmod(outfile, 0664)
 
 
 def main():
@@ -110,8 +115,8 @@
         raise "Syntax: "+sys.argv[0]+" [-n] [sf_username]"
 
     if update:
-        os.system("scp pep-*.html " + username
-                  + "shell.sourceforge.net:/home/groups/python/htdocs/peps")
+        os.system("scp pep-*.html " + username + HOST + ":" + HDIR)
+        os.system("ssh " + username + HOST + " chmod 664 " + HDIR + "/*")
 
 
 if __name__ == "__main__":

-- 
Repository URL: http://hg.python.org/peps
