scripts
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)
mp2p_icp
Author(s):
autogenerated on Wed Oct 23 2024 02:45:40