diff options
| author | Thibaut Girka <thib@sitedethib.com> | 2019-03-10 16:48:44 +0100 |
|---|---|---|
| committer | Thibaut Girka <thib@sitedethib.com> | 2019-03-10 16:48:44 +0100 |
| commit | dfe7322922e869ae72edb9b8980b905876db9ed0 (patch) | |
| tree | bf279e7af52036451cf1c1fdc68b7b5748b5921d /Vagrantfile | |
| parent | 42cc93e8923a1b6cdb61574e9a86e360cba56abb (diff) | |
| parent | c11dff50493ecb106390153866bea539f3587293 (diff) | |
Merge branch 'master' into glitch-soc/merge-upstream
Diffstat (limited to 'Vagrantfile')
| -rw-r--r-- | Vagrantfile | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/Vagrantfile b/Vagrantfile index ada6fa4b2..f7195a9c1 100644 --- a/Vagrantfile +++ b/Vagrantfile @@ -44,7 +44,18 @@ sudo apt-get install \ # Install rvm read RUBY_VERSION < .ruby-version -gpg --keyserver hkp://keys.gnupg.net --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3 7D2BAF1CF37B13E2069D6956105BD0E739499BDB + +gpg_command="gpg --keyserver hkp://keys.gnupg.net --recv-keys 409B6B1796C275462A1703113804BB82D39DC0E3 7D2BAF1CF37B13E2069D6956105BD0E739499BDB" +$($gpg_command) +if [ $? -ne 0 ];then + echo "GPG command failed, This prevented RVM from installing." + echo "Retrying once..." && $($gpg_command) + if [ $? -ne 0 ];then + echo "GPG failed for the second time, please ensure network connectivity." + echo "Exiting..." && exit 1 + fi +fi + curl -sSL https://raw.githubusercontent.com/rvm/rvm/stable/binscripts/rvm-installer | bash -s stable --ruby=$RUBY_VERSION source /home/vagrant/.rvm/scripts/rvm |