diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-08-21 14:32:40 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-08-21 14:32:40 (EDT) |
| commit | b1e28602c4c2cba01d1aa2803b1e028b0d0c0e2c (patch) | |
| tree | 36e1310585d49b31b0bacd79f7fa912d9276055a | |
| parent | d072ca8d990ddee02dc69f8ece42ba495e332a6f (diff) | |
feed_download(): Optionally decompress index files
| -rw-r--r-- | lib/feed.sh | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/feed.sh b/lib/feed.sh index 6dcf4c1..87009da 100644 --- a/lib/feed.sh +++ b/lib/feed.sh @@ -35,8 +35,16 @@ feed_deps= feed_download() { local feed_index="${1}" + local use_gzip="${2}" + local gzip= - wget -q -O - "${feed_index}" + if ${use_gzip}; then + gzip=gzip + else + gzip=cat + fi + + wget -q -O - "${feed_index}" | ${gzip} return 0 } |