関連ワード:  batch script file type    batch script file extension    batch script file format    windows cmd script file extension    batch script write file    batch script change file extension    batch script remove file extension    windows batch script file extension    batch script check file extension    batch script get file extension