diff --git a/Tools/Vagrant/provision.sh b/Tools/Vagrant/provision.sh index c2b0425dd..ed551091c 100644 --- a/Tools/Vagrant/provision.sh +++ b/Tools/Vagrant/provision.sh @@ -2,7 +2,10 @@ apt-get update -y # Install Unity desktop for GUI purposes. -#apt-get install -y --no-install-recommends ubuntu-desktop +#apt-get install --no-install-recommends \ +# ubuntu-desktop \ +# gnome-terminal \ +# -y # Install software for development. sudo apt-get install \