diff options
Diffstat (limited to 'INSTALL/tasks.d/70_doc')
| -rw-r--r-- | INSTALL/tasks.d/70_doc | 6 |
1 files changed, 3 insertions, 3 deletions
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 |