rsc | dbd7b9a | 2003-11-23 18:29:08 +0000 | [diff] [blame] | 1 | #!/bin/sh |
2 | |||||
rsc | 1ed1c63 | 2004-03-31 01:01:24 +0000 | [diff] [blame] | 3 | case `uname` in |
4 | SunOS) | ||||
5 | awk=nawk | ||||
6 | ;; | ||||
7 | *) | ||||
8 | awk=awk | ||||
9 | ;; | ||||
10 | esac | ||||
11 | |||||
rsc | dbd7b9a | 2003-11-23 18:29:08 +0000 | [diff] [blame] | 12 | label() { |
rsc | 1ed1c63 | 2004-03-31 01:01:24 +0000 | [diff] [blame] | 13 | echo "$@" | $awk '{printf("\033];%s\007", $0);}' |
rsc | dbd7b9a | 2003-11-23 18:29:08 +0000 | [diff] [blame] | 14 | } |
15 | |||||
16 | label "$@" |