Ce n'est pas forcement très utile à priori, mais bon à savoir...
Afficher deux fois le même instantané séparés d'une quasi-seconde:
D'abord, l'offset (en fraction de secondes):
$ offset=$(
sed -ne < /proc/timer_list '
/^ *.offset:[\t ]\+[0-9]/{
s/^.*[\t ]\+\([0-9]*\)\([0-9]\{9\}\) nsecs.*$/.\2/p;
q}' )
Et voici *la* ``quasi-seconde'':
$ sleep $(
sed -ne < /proc/timer_list "
/^now at/{
s/^.*\([0-9]\{9\}\) nsecs/1.995-.\1-$offset/p;q}
"|bc -l
);date; sleep .97 ;date
mardi 28 février 2012, 19:11:13 (UTC+0100)
mardi 28 février 2012, 19:11:13 (UTC+0100)
Et a l'inverse, voici une ``seconde flash''
$ sleep $(
sed -ne < /proc/timer_list "
/^now at/{
s/^.*\([0-9]\{9\}\) nsecs/1.95-.\1-$offset/p;q}
"|bc -l
);date; sleep .05 ;date
mardi 28 février 2012, 19:12:05 (UTC+0100)
mardi 28 février 2012, 19:12:06 (UTC+0100)
--
Félix Hauri - <[email protected]> - http://www.f-hauri.ch
_______________________________________________
gull mailing list
[email protected]
http://forum.linux-gull.ch/mailman/listinfo/gull
