blob: 0426e354a0386706d5a24d716b9f4187f7f7b534 [file] [log] [blame]
#!/bin/sh
case `uname` in
SunOS)
awk=nawk
;;
*)
awk=awk
;;
esac
label() {
echo "$@" | $awk '{printf("\033];%s\007", $0);}'
}
label "$@"