1 #!/bin/sh
2 
3 case `uname` in
4 SunOS)
5 	awk=nawk
6 	;;
7 *)
8 	awk=awk
9 	;;
10 esac
11 
12 label() {
13 	echo "$@" | $awk '{printf("\033];%s\007", $0);}' >/dev/tty
14 }
15 
16 label "$@"