From c135a4ece7751e1920ee95bc056c538eccc21d8e Mon Sep 17 00:00:00 2001
From: Krzysztof Wilczynski <kw@linux.com>
Date: Wed, 21 Mar 2018 23:47:44 +0100
Subject: [PATCH] Use tee over a shell redirect.

Signed-off-by: Krzysztof Wilczynski <kw@linux.com>
---
 scripts/common/update.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/common/update.sh b/scripts/common/update.sh
index b01be72..9055688 100644
--- a/scripts/common/update.sh
+++ b/scripts/common/update.sh
@@ -275,8 +275,8 @@ fi
 # boxes.
 if [[ -z $AMAZON_EC2 ]]; then
     # Render template overriding default list.
-    eval "echo \"$(cat /var/tmp/vagrant/sources.list.template)\"" \
-        > /etc/apt/sources.list
+    eval "echo \"$(cat /var/tmp/vagrant/sources.list.template)\"" | \
+        tee /etc/apt/sources.list >/dev/null
 
     chown root: /etc/apt/sources.list
     chmod 644 /etc/apt/sources.list