mirror of
https://github.com/jorgebucaran/fisher
synced 2024-07-02 23:11:48 +02:00
30 lines
707 B
Fish
30 lines
707 B
Fish
function __fisher_index_update -a timeout
|
|
if test -z "$timeout"
|
|
set timeout 5
|
|
|
|
if set -q fisher_timeout
|
|
set timeout "0$fisher_timeout"
|
|
end
|
|
end
|
|
|
|
set -l url $fisher_index
|
|
|
|
if test ! -d $fisher_cache
|
|
mkdir -p $fisher_cache
|
|
end
|
|
|
|
set -l index $fisher_cache/.index.tmp
|
|
|
|
if test -z "$url"
|
|
# force the server to return the latest copy of the index using a fake query string
|
|
set url https://raw.githubusercontent.com/fisherman/index/master/index\?(date +%s)
|
|
end
|
|
|
|
if not curl --max-time $timeout -sS "$url" > $index
|
|
command rm -f $index
|
|
return 1
|
|
end
|
|
|
|
command mv -f $index $fisher_cache/.index
|
|
end
|