mirror of
https://github.com/9fans/plan9port.git
synced 2025-01-12 11:10:07 +00:00
label: write to /dev/tty to avoid redirections
This commit is contained in:
parent
833c88d4da
commit
3625f26852
1 changed files with 1 additions and 1 deletions
|
@ -10,7 +10,7 @@ SunOS)
|
|||
esac
|
||||
|
||||
label() {
|
||||
echo "$@" | $awk '{printf("\033];%s\007", $0);}'
|
||||
echo "$@" | $awk '{printf("\033];%s\007", $0);}' >/dev/tty
|
||||
}
|
||||
|
||||
label "$@"
|
||||
|
|
Loading…
Reference in a new issue