Add 10 second timeout to index updates.

This commit is contained in:
Jorge Bucaran 2016-05-07 02:12:36 +09:00
parent a39ff774e8
commit 1f6218bccc
No known key found for this signature in database
GPG key ID: E54BA3C0E646DB30

View file

@ -918,7 +918,7 @@ function __fisher_remote_index_update
fish -c "
curl -s 'https://api.github.com/orgs/fisherman/repos?per_page=100' | awk -v ORS='' '
curl --max-time 10 -s 'https://api.github.com/orgs/fisherman/repos?per_page=100' | awk -v ORS='' '
{
gsub(/[{}\[\]]|^[\t ]*/, \"\")