1 dbd7b9a9 2003-11-23 devnull #!/bin/sh
 2 dbd7b9a9 2003-11-23 devnull 
 3 1ed1c638 2004-03-31 devnull case `uname` in
 4 1ed1c638 2004-03-31 devnull SunOS)
 5 1ed1c638 2004-03-31 devnull 	awk=nawk
 6 1ed1c638 2004-03-31 devnull 	;;
 7 1ed1c638 2004-03-31 devnull *)
 8 1ed1c638 2004-03-31 devnull 	awk=awk
 9 1ed1c638 2004-03-31 devnull 	;;
10 1ed1c638 2004-03-31 devnull esac
11 1ed1c638 2004-03-31 devnull 
12 dbd7b9a9 2003-11-23 devnull label() {
13 3625f268 2009-05-05 rsc 	echo "$@" | $awk '{printf("\033];%s\007", $0);}' >/dev/tty
14 dbd7b9a9 2003-11-23 devnull }
15 dbd7b9a9 2003-11-23 devnull 
16 dbd7b9a9 2003-11-23 devnull label "$@"