Como alterar o nome do arquivo do horário UNIX da época para a data / hora padrão no macOS [em espera]

0

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 (Quinta-feira, 31 de janeiro de 2019 12:32:40 - Eu moro no leste dos EUA, então a hora do leste é a saída desejada)

Eu ficaria eternamente grato se alguém pudesse recomendar uma maneira de fazer isso no Mac OS 10.14.3.

macos bash batch-rename Chris
fonte
1
Solicitar código para um processo como este não é realmente recomendado e desaprovado em qualquer um dos sites do Stack Exchange. Estamos aqui para ajudar você. não codifica scripts em solicitações. Dito isto, olhe para esta resposta no Stack Overflow e experimente para obter os resultados desejados. Veja também esta outra resposta também .
JakeGould
Algo como date -d @1548955960 '+%Y%m%d_%H%M%S'?
JosefZ
Por favor note que superuser.com não é um serviço gratuito de escrita de código / script. Se você nos disser o que você tentou até agora (incluir os scripts / códigos que você já está usando) e onde você está preso, podemos tentar ajudar com problemas específicos. Você também deve ler Como faço uma boa pergunta? .
DavidPostill