view flax/add_sub @ 929:c20c2eea6fce

another hack to stop graphfile from thinking its own new empty file means it should delete all the statements in that context Ignore-this: 94639afbbe8d3a0abd8a06e16922394f
author Drew Perttula <drewp@bigasterisk.com>
date Tue, 11 Jun 2013 20:25:02 +0000
parents 3905d3c92aaa
children
line wrap: on
line source

#!/usr/bin/env python
# usage: add_sub [-l sublevel] subname subterms_to_add_to

from optparse import OptionParser

parser = OptionParser()
parser.add_option('-l', '--level', default='0')
opts, args = parser.parse_args()
print 'debug', opts, args

sub = args.pop(0)
print "adding '%s' at %s" % (sub, opts.level)

for subterm in args:
    print "subterm", subterm
    print
    filename = 'subterms/%s' % subterm
    subs = [line.split(None, 1)[0] for line in file(filename).readlines()]
    if sub not in subs:
        f = file(filename, 'a')
        print 'appended!'
        print >>f, "%s %s" % (sub, opts.level)