# not tested: # tai64n produces the right time # tai64nlocal converts times correctly echo '--- tai64n has the right format' shell { echo ONE; echo TWO } | tai64n | sed 's/[0-9a-f]/x/g' echo '--- tai64nlocal handles non-@ lines correctly' shell { echo one; echo two } | tai64nlocal; echo $Status