Mercurial > code > home > repos > light9

annotate flax/add_sub @ 2431:d1946cb32121

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bool support
author drewp@bigasterisk.com
date Tue, 28 May 2024 15:34:21 -0700
parents 3905d3c92aaa
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
205
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
1 #!/usr/bin/env python
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
2 # usage: add_sub [-l sublevel] subname subterms_to_add_to
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
3
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
4 from optparse import OptionParser
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
5
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
6 parser = OptionParser()
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
7 parser.add_option('-l', '--level', default='0')
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
8 opts, args = parser.parse_args()
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
9 print 'debug', opts, args
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
10
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
11 sub = args.pop(0)
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
12 print "adding '%s' at %s" % (sub, opts.level)
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
13
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
14 for subterm in args:
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
15 print "subterm", subterm
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
16 print
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
17 filename = 'subterms/%s' % subterm
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
18 subs = [line.split(None, 1)[0] for line in file(filename).readlines()]
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
19 if sub not in subs:
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
20 f = file(filename, 'a')
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
21 print 'appended!'
3905d3c92aaa twisted mainloop, more row-change keys, xmlrpc fadesub command on port 8050
drewp
parents:
diff changeset
22 print >>f, "%s %s" % (sub, opts.level)