scripts/copy_rew.py

   1 #!/usr/bin/env python3
   2 from sys import argv, exit
   3 if __name__ == "__main__":
   4     if len(argv) != 3:
   5         print("Need 2 arguments -- path node IDs and logged data.")
   6         exit(1)
   7     path_ids = []
   8     with open(argv[1]) as f:
   9         for li in f:
  10             path_ids.append(int(li.split(" ")[0]))
  11     with open(argv[2]) as f:
  12         for li in f:
  13             if int(li.split(" ")[0]) in path_ids:
  14                 print(li.strip())