create_identifiers.py 633 B

1234567891011121314151617181920212223242526272829303132
  1. #!/usr/bin/env python
  2. import sys, os
  3. if len(sys.argv) != 2:
  4. sys.exit(-1)
  5. name = sys.argv[1] + "/CMake.qhp"
  6. f = open(name)
  7. if not f:
  8. sys.exit(-1)
  9. lines = f.read().splitlines()
  10. if not lines:
  11. sys.exit(-1)
  12. newlines = []
  13. for line in lines:
  14. if "<keyword name=\"command\"" in line:
  15. if not "id=\"" in line:
  16. prefix = "<keyword name=\"command\" "
  17. part1, part2 = line.split(prefix)
  18. head, tail = part2.split("#command:")
  19. cmdname, rest = tail.split("\"")
  20. line = part1 + prefix + "id=\"command/" + cmdname + "\" " + part2
  21. newlines.append(line + "\n")
  22. f = open(name, "w")
  23. f.writelines(newlines)