Non, il n'existe pas de logiciel à télécharger* ... il faut juste faire un 'man awk', et la solution apparaîtra: strftime
Par exemple: awk -F "\t" '{print strftime("%d/%m/%y %H:%M:%S",1ドル)"\t"2ドル}'
dans ce cas, la 1° colonne contient l'epoch, et est mise au format "dd/mm/yy hh:mm:ss", et la deuxième est recopiée telle quelle. J'ai supposé que tes colonnes sont séparées par des tabulations (vu la quantité d'informations que tu donnes, il faut bien supposer).
Si tu veux autre chose, tu peux facilement adapter cette ligne.
*: enfin peut-être, mais cela en vaut-il la peine, vu la simplicité du problème?
[^] # Re: Bonjour
Posté par Khâpin . En réponse au message date numerique à convertir. Évalué à 2.
Par exemple:
awk -F "\t" '{print strftime("%d/%m/%y %H:%M:%S",1ドル)"\t"2ドル}'
dans ce cas, la 1° colonne contient l'epoch, et est mise au format "dd/mm/yy hh:mm:ss", et la deuxième est recopiée telle quelle. J'ai supposé que tes colonnes sont séparées par des tabulations (vu la quantité d'informations que tu donnes, il faut bien supposer).
Si tu veux autre chose, tu peux facilement adapter cette ligne.
*: enfin peut-être, mais cela en vaut-il la peine, vu la simplicité du problème?