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 Thu Jun 1 2023 03:06:43