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 1ed1c638 2004-03-31 devnull echo "$@" | $awk '{printf("\033];%s\007", $0);}' 14 dbd7b9a9 2003-11-23 devnull } 15 dbd7b9a9 2003-11-23 devnull 16 dbd7b9a9 2003-11-23 devnull label "$@"