diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-12 10:00:00 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-12 10:00:00 +0100 |
| commit | a788940f5f675230ac0b91c70a4881f47c7538c1 (patch) | |
| tree | d3a3a04f7e0b04da7173ba8d092b45977a07b7f9 | |
| parent | 8e85f1e4f02ff09d55b8fd107ba96a3c2036c41b (diff) | |
| download | builder-a788940f5f675230ac0b91c70a4881f47c7538c1.tar.xz | |
bin/return-assignment: make a hack to get irc output working (again)
| -rwxr-xr-x | bin/return-assignment | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/return-assignment b/bin/return-assignment index b9bc117..82ab03a 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -149,8 +149,9 @@ if [ "$5" = 'ERROR' ]; then sed 's/,$/./' fi printf '\n' - } > \ + } | tee /dev/stderr > \ "${irc_dir}/#archlinux-ports/in" + # why do we need tee there in order for the redirection to work??? fi fi |