[16:06] any idea on how to setup proxy in 19.04 or 18.10 for the terminal? To clone repos for example. [16:11] you mean like HTTP proxy? [16:11] or SSH proxy u:P [16:29] Http [16:29] Haven't thought about ssh... [16:32] https://gist.github.com/evantoli/f8c23a37eb3558ab8765 maybe this helps? [17:30] Thanks!