Comment faire pour convertir les horodatages de dates en bash?

Question

J'ai besoin d'un shell de commande ou un script qui convertit un timestamp UNIX d'une date. L'entrée peut provenir soit du premier paramètre ou à partir de stdin, permettant les modes d'utilisation suivants:

ts2date 1267619929

et

echo 1267619929 | ts2date

Les deux commandes de sortie "Mer Mar 3 13:38:49 2010".

Answer 1

Sur les versions ultérieures de la commune de distributions Linux, vous pouvez utiliser:

date -d @1267619929

Answer 2

date -r<number>

fonctionne pour moi sur mac osx

Answer 3

Cette version est similaire à chiborg de la réponse, mais il élimine la nécessité pour les externes tty et cat. Il utilise date, mais pourrait tout aussi bien utiliser gawk. Vous pouvez modifier le shebang et remplacer les doubles crochets avec un seul et ce sera également exécuter dans sh.

#!/bin/bash
LANG=C
if [[ -z "$1" ]]
then
    if [[ -p /dev/stdin ]]    # input from a pipe
    then
        read -r p
    else
        echo "No timestamp given." >&2
        exit
    fi
else
    p=$1
fi
date -d @$p +%c

Answer 4

vous pouvez utiliser GNU date par exemple

$ sec=1267619929
$ date -d "UTC 1970-01-01 $sec secs"

ou

$ date -ud @1267619929

Answer 5

Vous pouvez utiliser ce simple script awk:

#!/bin/gawk -f   
{ print strftime("%c", $0); }

Exemple d'utilisation:

$ echo '1098181096' | ./a.awk 
Tue 19 Oct 2004 03:18:16 AM PDT
$