Raspberry Pi port, piCore-15.0 is available!
code box like this
export http_proxy='proxy.domain: port'
export http_proxy="192.125.196.3:8080"
export http_proxy="http://username:password@host:port/"