mirror of
https://github.com/m-labs/artiq.git
synced 2024-12-19 00:16:29 +08:00
80 lines
2.9 KiB
Python
Executable File
80 lines
2.9 KiB
Python
Executable File
#!/usr/bin/env python3.5
|
|
|
|
import argparse
|
|
import struct
|
|
|
|
from artiq.tools import verbosity_args, init_logger
|
|
from artiq.master.databases import DeviceDB
|
|
from artiq.master.worker_db import DeviceManager
|
|
|
|
|
|
def get_argparser():
|
|
parser = argparse.ArgumentParser(description="ARTIQ core device "
|
|
"configuration tool")
|
|
|
|
verbosity_args(parser)
|
|
parser.add_argument("--device-db", default="device_db.pyon",
|
|
help="device database file (default: '%(default)s')")
|
|
|
|
subparsers = parser.add_subparsers(dest="action")
|
|
subparsers.required = True
|
|
|
|
p_read = subparsers.add_parser("read",
|
|
help="read key from core device config")
|
|
p_read.add_argument("key", type=str,
|
|
help="key to be read from core device config")
|
|
|
|
p_write = subparsers.add_parser("write",
|
|
help="write key-value records to core "
|
|
"device config")
|
|
p_write.add_argument("-s", "--string", nargs=2, action="append",
|
|
default=[], metavar=("KEY", "STRING"), type=str,
|
|
help="key-value records to be written to core device "
|
|
"config")
|
|
p_write.add_argument("-f", "--file", nargs=2, action="append",
|
|
type=str, default=[],
|
|
metavar=("KEY", "FILENAME"),
|
|
help="key and file whose content to be written to "
|
|
"core device config")
|
|
|
|
p_delete = subparsers.add_parser("delete",
|
|
help="delete key from core device config")
|
|
p_delete.add_argument("key", nargs=argparse.REMAINDER,
|
|
default=[], type=str,
|
|
help="key to be deleted from core device config")
|
|
|
|
subparsers.add_parser("erase", help="fully erase core device config")
|
|
return parser
|
|
|
|
|
|
def main():
|
|
args = get_argparser().parse_args()
|
|
init_logger(args)
|
|
device_mgr = DeviceManager(DeviceDB(args.device_db))
|
|
try:
|
|
comm = device_mgr.get("comm")
|
|
comm.check_ident()
|
|
|
|
if args.action == "read":
|
|
value = comm.flash_storage_read(args.key)
|
|
if not value:
|
|
print("Key {} does not exist".format(args.key))
|
|
else:
|
|
print(value)
|
|
elif args.action == "write":
|
|
for key, value in args.string:
|
|
comm.flash_storage_write(key, value.encode("utf-8"))
|
|
for key, filename in args.file:
|
|
with open(filename, "rb") as fi:
|
|
comm.flash_storage_write(key, fi.read())
|
|
elif args.action == "delete":
|
|
for key in args.key:
|
|
comm.flash_storage_remove(key)
|
|
elif args.action == "erase":
|
|
comm.flash_storage_erase()
|
|
finally:
|
|
device_mgr.close_devices()
|
|
|
|
if __name__ == "__main__":
|
|
main()
|