Remove unnecessary filename extensions

[feeder.git] / cmd / env.rc

diff --git a/cmd/env.rc b/cmd/env.rc
index 7c5874cfc1ec699530212e1127a17ef7d77c1101..619d60df0812798291d22d0658e0a4a9684f11de 100644 (file)
--- a/cmd/env.rc
+++ b/cmd/env.rc
@@ -5,6 +5,7 @@ PARALLEL="${PARALLEL:-parallel --bar --shuf}"
 
 FEEDER_USER_AGENT="${FEEDER_USER_AGENT:-stargrave.org-feeder/0.1.0}"
 #FEEDER_CURL_VERBOSE=1
+FEEDER_CURL_MAX_TIME=${FEEDER_CURL_MAX_TIME:-20}
 FEEDER_MAX_ITEMS=${FEEDER_MAX_ITEMS:-100}
 FEEDER_DOWNLOAD_JOBS=${FEEDER_DOWNLOAD_JOBS:-10}
 FEEDER_PARSE_JOBS=${FEEDER_PARSE_JOBS:-0}
@@ -21,3 +22,5 @@ _feeder_warc_compress() {
 
 FEEDER_WARC_COMPRESS=_feeder_warc_compress
 FEEDER_WARC_COMPRESS=: # do not compress
+export http_proxy=http://localhost:8080
+export https_proxy=$http_proxy