blob: 0426e354a0386706d5a24d716b9f4187f7f7b534 [file] [log] [blame]
rscdbd7b9a2003-11-23 18:29:08 +00001#!/bin/sh
2
rsc1ed1c632004-03-31 01:01:24 +00003case `uname` in
4SunOS)
5 awk=nawk
6 ;;
7*)
8 awk=awk
9 ;;
10esac
11
rscdbd7b9a2003-11-23 18:29:08 +000012label() {
rsc1ed1c632004-03-31 01:01:24 +000013 echo "$@" | $awk '{printf("\033];%s\007", $0);}'
rscdbd7b9a2003-11-23 18:29:08 +000014}
15
16label "$@"