#!/bin/sh cd "${0%/*}" while : do while read line <../data/timer.pipe do if [ "$line" = "" ] then echo else printf '  %s\n' "$line" fi done done