#!/bin/sh
case `uname` in
SunOS)
awk=nawk
;;
*)
awk=awk
esac
label() {
echo "$@" | $awk '{printf("\033];%s\007", $0);}' >/dev/tty
}
label "$@"