Merge branch 'develop' into features/shared

This commit is contained in:
Carson Woods
2020-03-09 23:23:37 +00:00
203 changed files with 4013 additions and 635 deletions

View File

@@ -75,6 +75,12 @@ config:
misc_cache: ~/.spack/cache
# Timeout in seconds used for downloading sources etc. This only applies
# to the connection phase and can be increased for slow connections or
# servers. 0 means no timeout.
connect_timeout: 10
# If this is false, tools like curl that use SSL will not verify
# certifiates. (e.g., curl will use use the -k option)
verify_ssl: true