diff options
Diffstat (limited to 'plugins/repo/lib/stdio.sh')
| -rw-r--r-- | plugins/repo/lib/stdio.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/plugins/repo/lib/stdio.sh b/plugins/repo/lib/stdio.sh index f85b7fa..3207db8 100644 --- a/plugins/repo/lib/stdio.sh +++ b/plugins/repo/lib/stdio.sh @@ -11,18 +11,19 @@ verbose() { if [ "$volume" == '-v' ]; then - echo $@ + echo $@ >> /dev/stderr fi } out() { if [ "$volume" != '-q' ]; then - echo $@ + echo $@ >> /dev/stderr fi } warn () { echo "$name: $1" >> /dev/stderr + echo "$name: $1" >> "$repo/../rvs.log" } fatal () { |