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);}' 14 } 15 16 label "$@"