From cbb624f3dec26e76bc9c1d5764870c6d3b54ca1a Mon Sep 17 00:00:00 2001 From: Mahmood Ali Date: Fri, 6 Sep 2019 14:55:16 -0400 Subject: [PATCH] vagrant: Install dev tools in dev script only --- scripts/vagrant-linux-priv-config.sh | 11 ++--------- scripts/vagrant-linux-priv-dev.sh | 4 ---- 2 files changed, 2 insertions(+), 13 deletions(-) diff --git a/scripts/vagrant-linux-priv-config.sh b/scripts/vagrant-linux-priv-config.sh index b2400c5c0..df144e67f 100755 --- a/scripts/vagrant-linux-priv-config.sh +++ b/scripts/vagrant-linux-priv-config.sh @@ -20,19 +20,12 @@ apt-get install -y \ libpcre3-dev \ linux-libc-dev:i386 \ pkg-config \ - zip - -# Install Development utilities -apt-get install -y \ + zip \ curl \ - default-jre \ - htop \ jq \ - qemu \ - silversearcher-ag \ tree \ unzip \ - vim + wget # Install ARM build utilities apt-get install -y \ diff --git a/scripts/vagrant-linux-priv-dev.sh b/scripts/vagrant-linux-priv-dev.sh index 2b22a36a6..554746200 100755 --- a/scripts/vagrant-linux-priv-dev.sh +++ b/scripts/vagrant-linux-priv-dev.sh @@ -2,14 +2,10 @@ # Install Development utilities apt-get install -y \ - curl \ default-jre \ htop \ - jq \ qemu \ silversearcher-ag \ - tree \ - unzip \ vim