ECHO OFF
ECHO usage:
ECHO   run "batch_repair_header.bat" and then enter the two
ECHO   arguments when prompted or provide the two arguments
ECHO   in the command line. here are some example runs:
ECHO   C:\bin) batch_repair_header.bat data\*.las
ECHO   C:\bin) batch_repair_header.bat data\test001.las
ECHO   C:\bin) batch_repair_header.bat data\path\*.las
ECHO   C:\bin) batch_repair_header.bat data\flight\flight00*.las
IF "%1%" == "" GOTO GET_ALL
IF "%2%" == "" GOTO ACTION
:GET_ALL
SET /P F=input file (or wildcard):
FOR %%D in (%F%) DO START lasinfo -quiet -repair -i %%D
FOR %%D in (%F%) DO ECHO lasinfo -quiet -repair -i %%D
GOTO END
:ACTION
ECHO OFF
FOR %%D in (%1) DO START lasinfo -quiet -repair -i %%D
FOR %%D in (%1) DO ECHO lasinfo -quiet -repair -i %%D
:END
SET /P F=done. press ENTER