view service/arduinoNode/pushConfig.py @ 1164:1fe67fedf5ac

move speech_music into docker and into pygame Ignore-this: 15260aecbf7fddb75e641b7a853b0281 darcs-hash:de903a34368d5a71f8b0712de3885e2d91c4df5d
author drewp <drewp@bigasterisk.com>
date Sun, 09 Sep 2018 04:00:09 -0700
parents 8b4eda2cf0bd
children 12f9f1838fb5
line wrap: on
line source

from __future__ import division
import sys
import etcd3

from twisted.python.filepath import FilePath

etcd = etcd3.client(host='bang6')

prefix, = sys.argv[1:]

def main():
    existing = set(md.key for v, md in etcd.get_prefix(prefix))
    written = set()
    root = FilePath('config')
    for f in root.walk():
        if f.isfile() and f.path.endswith('.n3'):
            n3 = f.getContent()
            key = prefix + b'/'.join(f.segmentsFrom(root))
            etcd.put(key, n3)
            written.add(key)
            print 'wrote %s' % key
    for k in existing - written:
        etcd.delete(k)
        print 'removed %s' % k

main()