Skip to content

Proxy

A proxy is provided for the landing pads that provides access to some external websites. This is provided for build systems and package managers that expect access to online repositories to build software (where otherwise manually collecting the sources would be tedious).

For the resources that are available, two semi-standard environment variables should suffice:

export http_proxy=http://proxy:8888
export https_proxy=$http_proxy

This will work with many common command line tools such as wget and curl along with other tools that work on top of them (such as git).

Accessing GitHub Repositories

First, set the environment variables as above. Next, use the HTTPS transport only when setting the remote URL, ex: https://user@github.com/user/reponame.

If you have two factor authentication on github then you will need to create and use a token instead of a password.


Last update: May 18, 2020