hiro wrote:
> you can use date(1) for this.

Of course, but I want to avoid starting an additional process every second just
to get the time.

--Markus

Reply via email to