diff options
| author | Hiltjo Posthuma <hiltjo@codemadness.org> | 2019-04-14 15:47:56 +0200 |
|---|---|---|
| committer | Hiltjo Posthuma <hiltjo@codemadness.org> | 2019-04-14 15:47:56 +0200 |
| commit | 1d7d63afb33ab257d91fa5d16419dcb518d597c5 (patch) | |
| tree | a769afa49f0ee8d70ae5115a1a33043ea44f5a88 /sfeed_update | |
| parent | 60b1024a1bb7c628d9bb9034fd017a6b799c94d3 (diff) | |
sfeed_update: rename fetchfeed to fetch
... and simplify example in README.
Diffstat (limited to 'sfeed_update')
| -rwxr-xr-x | sfeed_update | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sfeed_update b/sfeed_update index a4cc4c8..c75750a 100755 --- a/sfeed_update +++ b/sfeed_update @@ -37,8 +37,8 @@ log() { } # fetch a feed via HTTP/HTTPS etc. -# fetchfeed(name, url, feedfile) -fetchfeed() { +# fetch(name, url, feedfile) +fetch() { # fail on redirects,, hide User-Agent, timeout is 15 seconds, # -z for If-Modified-Since. curl -L --max-redirs 0 -H "User-Agent:" -f -s -m 15 \ @@ -93,7 +93,7 @@ feed() { sfeedfile="${sfeedpath}/${filename}" tmpfeedfile="${sfeedtmpdir}/${filename}" - if ! fetchfeed "${name}" "${feedurl}" "${sfeedfile}" > "${tmpfeedfile}.fetch"; then + if ! fetch "${name}" "${feedurl}" "${sfeedfile}" > "${tmpfeedfile}.fetch"; then log "${name}" "FAIL (FETCH)" return fi |