#!/bin/bash

# Display a clock in the terminal with hours, minutes, seconds and
# milliseconds

while : 
do 
    echo -ne "$(date +%T.%3N)\r" 
    sleep .001 
done