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 "$@"