Remove unnecessary filename extensions

[feeder.git] / cmd / env.rc

diff --git a/cmd/env.rc b/cmd/env.rc
index eccc9338d857810e703091040917988468ecde54..619d60df0812798291d22d0658e0a4a9684f11de 100644 (file)
--- a/cmd/env.rc
+++ b/cmd/env.rc
@@ -22,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