https://blog.alirezad.ir/posts/set-proxy-for-ssh-and-git-in-linux/