#! /usr/bin/env bash
#
# Replace timestamps in UNIX format (number of seconds, with fractional part)
# with XXXs.

sed 's/[0-9]\{10\}\.[0-9]\{2,8\}/XXXXXXXXXX.XXXXXX/g'
