Sim, mas pintou outro problema para mim...
Minha data, atualmente é registrada assim: 04252019014726, onde os ultimos 6
digitos são referentes a hora.
Em qui, 25 de abr de 2019 às 10:11, Guilherme Gall address@hidden <mailto:address@hidden> [shell-script]
<address@hidden <mailto:address@hidden>> escreveu:
__
Tipo isso?
$ echo '002811
012911
031010' | sed -r 's_(..)(..)(..)_\1:\2:\3_'
00:28:11
01:29:11
03:10:10
Atenciosamente,
Guilherme Gall
Em qui, 25 de abr de 2019 às 10:00, Rodrigo Cunha
address@hidden <mailto:address@hidden> [shell-script]
<address@hidden <mailto:address@hidden>> escreveu:
>
>
>
> Prezados, preciso manipular um arquivo com varias strings, do tipo:
> 002811
> 012911
> 031010
> E transforma-los para o tipo: hora:minuto:segundo.
>
> --
> Atenciosamente,
> Rodrigo da Silva Cunha
> São Gonçalo, RJ - Brasil
--
Atenciosamente,
Rodrigo da Silva Cunha
São Gonçalo, RJ - Brasil
--------------------------------------------------------------------------------------------------------------
Enviado por: Rodrigo Cunha <address@hidden>
--------------------------------------------------------------------------------------------------------------
Responder através da web