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