[gull] Truc et astuces: realtime et offset: une quasi seconde nulle

[felix]

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  -  <felix at f-hauri.ch>  -  http://www.f-hauri.ch