Add 10 second timeout to index updates.

This commit is contained in:
Jorge Bucaran 2016-05-07 02:12:36 +09:00 committed by Jorge Bucaran
parent 7353339935
commit 74be9b317e

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 ]*/, \"\")