1 dbd7b9a9 2003-11-23 devnull #!/bin/sh 2 dbd7b9a9 2003-11-23 devnull 3 dbd7b9a9 2003-11-23 devnull label() { 4 dbd7b9a9 2003-11-23 devnull echo "$@" | awk '{printf("\033];%s\007", $0);}' 5 dbd7b9a9 2003-11-23 devnull } 6 dbd7b9a9 2003-11-23 devnull 7 dbd7b9a9 2003-11-23 devnull label "$@"