diff options
| -rw-r--r-- | INSTALL/tasks.d/50_sdk | 2 | ||||
| -rw-r--r-- | INSTALL/tasks.d/70_doc | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/INSTALL/tasks.d/50_sdk b/INSTALL/tasks.d/50_sdk index 1985b14..d9fc475 100644 --- a/INSTALL/tasks.d/50_sdk +++ b/INSTALL/tasks.d/50_sdk @@ -8,7 +8,7 @@ done # install node.js and tools (npm, gulp, bower) if needed if [[ -z $(which node) ]]; then - curl -sL https://deb.nodesource.com/setup_6.x | bash - + curl -v --connect-timeout 60 --retry 3 -sL https://deb.nodesource.com/setup_6.x | bash - apt-get install -y nodejs # issue SPEC-979 # this install fails with timeout for unknown reason - let's comment it diff --git a/INSTALL/tasks.d/70_doc b/INSTALL/tasks.d/70_doc index 2d38490..21fc0cc 100644 --- a/INSTALL/tasks.d/70_doc +++ b/INSTALL/tasks.d/70_doc @@ -2,7 +2,7 @@ # install node.js and tools (npm, gulp, bower) if needed if [[ -z $(which node) ]]; then - curl -sL https://deb.nodesource.com/setup_6.x | bash - + curl -v --connect-timeout 60 --retry 3 -sL https://deb.nodesource.com/setup_6.x | bash - apt-get install -y nodejs # issue SPEC-979 @@ -11,6 +11,6 @@ if [[ -z $(which node) ]]; then fi # tools used to generate developer website (https://github.com/automotive-grade-linux/docs-agl) -curl -sSL https://rvm.io/mpapis.asc | gpg --import - \ - && curl -sSL https://get.rvm.io | bash -s stable --ruby --gems=jekyll +curl -v --connect-timeout 60 --retry 3 -sSL https://rvm.io/mpapis.asc | gpg --import - \ + && curl -v --connect-timeout 60 --retry 3 -sSL https://get.rvm.io | bash -s stable --ruby --gems=jekyll |