kitti-batch-convert.py
Go to the documentation of this file.
1 #!/usr/bin/python3
2 
3 import glob, os
4 
5 for file in glob.glob("*.bin"):
6  filename, file_extension = os.path.splitext(file)
7  out=filename+'.mm'
8  print('Processing: ' + file + ' name:' + filename)
9  os.system('kitti2mm -i ' + file + ' -o ' + out + ' --id ' + filename)


mrpt_local_obstacles
Author(s): Jose-Luis Blanco-Claraco
autogenerated on Mon Aug 14 2023 02:09:03