Background Today, on my own computer, I was helping a friend set up his private Github repository. During the process, I used SSH for git clone and git push operations. Despite having added a new SSH key to the computer and linking it with Github, I still encountered authorization problems. The way to generate a new SSH key is to type ssh-keygen in the terminal, then, at the first prompt, fill in the absolute path of the filename you want (like /home/rex/.

Background Due to certain domains being inaccessible from the company network, we need to go through a proxy to access the external internet. Most of the time, setting the following environment variables should suffice: 1 2 export http_proxy="http://proxy_ip:proxy_port" export https_proxy="http://proxy_ip:proxy_port" However, there are cases where different services require specific proxy settings. For instance, Python’s package manager pip requires the --proxy parameter during installation. Initially, I didn’t realize that Docker also needed its own proxy configuration.