diff options
Diffstat (limited to 'extras/vagrant/update.sh')
| -rwxr-xr-x | extras/vagrant/update.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/extras/vagrant/update.sh b/extras/vagrant/update.sh index f4139d74c80..b630449271e 100755 --- a/extras/vagrant/update.sh +++ b/extras/vagrant/update.sh @@ -40,7 +40,7 @@ if [ $DISTRIB_ID == "Ubuntu" ]; then update-alternatives --install /bin/sh sh /bin/bash 100 # Install useful but non-mandatory tools - apt-get install -y emacs x11-utils git-review gdb gdbserver + apt-get install -y emacs x11-utils git-review gdb gdbserver xfce4-terminal iperf3 elif [ $DISTRIB_ID == "CentOS" ]; then # Standard update + upgrade dance yum check-update |