chiark / gitweb /
cmd-admin.py: Add `source' command to remote command context.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 9 Mar 2013 05:50:44 +0000 (05:50 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 9 Mar 2013 05:50:44 +0000 (05:50 +0000)
Now remote-control clients can fetch our source code too.  Question:
should the master instance fetch source code for all of its satellites?

cmd-admin.py

index dc52461..8cea8e7 100644 (file)
@@ -164,7 +164,7 @@ def cmd_editacct(user, service, alias = None, noalias = False):
                     user = user, service = service)
 
 @SC.subcommand(
-  'source', ['admin', 'userv'], """\
+  'source', ['admin', 'userv', 'remote'], """\
 Write source code (in `.tar.gz' format) to standard output.""")
 def cmd_source_admin():
   AGPL.source(OUT)