Commande pour obtenir le temps en millisecondes

Question

Existe-t-il une commande shell sous Linux pour obtenir le temps en millisecondes ?

Answer 1

Un script Python comme celui-ci :

import time
cur_time = int(time.time()*1000)

Answer 2

Perl peut être utilisé pour cela, même sur des plateformes exotiques comme AIX. Exemple :

#!/usr/bin/perl -w

use strict;
use Time::HiRes qw(gettimeofday);

my ($t_sec, $usec) = gettimeofday ();
my $msec= int ($usec/1000);

my ($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst) =
    localtime ($t_sec);

printf "%04d-%02d-%02d %02d:%02d:%02d %03d\n",
    1900+$year, 1+$mon, $mday, $hour, $min, $sec, $msec;

Answer 3

Lorsque vous utilisez GNU AWK depuis la version 4.1, vous pouvez charger la bibliothèque de temps et faire :

$ awk '@load "time"; BEGIN{printf "%.6f", gettimeofday()}'

Ceci imprimera l'heure actuelle en secondes depuis 1970-01-01T00:00:00 avec une précision de l'ordre de la sous seconde.

the_time = gettimeofday() Renvoie le temps en secondes qui s'est écoulé depuis le 1970-01-01 UTC sous la forme d'une valeur à virgule flottante. Si l'heure n'est pas disponible sur cette plate-forme, elle renvoie la valeur suivante -1 et mettre ERRNO . Le temps renvoyé doit être précis à la seconde près mais la précision réelle peut varier en fonction de la plate-forme. Si la norme C gettimeofday() est disponible sur cette plateforme, alors il renvoie simplement la valeur. Sinon, si sur MS-Windows, il essaie d'utiliser GetSystemTimeAsFileTime() .

_{source : <a href="https://www.gnu.org/software/gawk/manual/gawk.html#Extension-Sample-Time" rel="nofollow noreferrer">Manuel GNU awk</a>}

Sur les systèmes Linux, la fonction C standard getimeofday() renvoie l'heure avec une précision de l'ordre de la microseconde.

Answer 4

Je veux générer une valeur à partir de bash et utiliser cette valeur dans le code Java pour la reconvertir en date (java.util).

La commande suivante fonctionne pour moi pour générer la valeur dans le fichier bash :

date +%s000

Answer 5

A imprimer secondes décimales :

start=$(($(date +%s%N)/1000000)) \
    && sleep 2 \
    && end=$(($(date +%s%N)/1000000)) \
    && runtime=$((end - start))

divisor=1000 \
    && foo=$(printf "%s.%s" $(( runtime / divisor )) $(( runtime % divisor ))) \
    && printf "runtime %s\n" $foo # in bash integer cannot cast to float

Sortie : runtime 2.3