Eu tenho centenas de arquivos de vídeo que são nomeados usando o tempo unix que eu gostaria de renomear em lote para um carimbo de hora mais tradicional de YYYYMMDD_HHMMSS Por exemplo, um arquivo é nomeado 1548955960199.mp4 e eu gostaria que ele fosse convertido para 20190131_123240.mp4...