Page History
...
| Code Block | ||
|---|---|---|
| ||
Host code.stanford.edu Hostname code.stanford.edu User git ProxyCommand ssh <your_unix_id>@psproxy nc %h %p Host github.com Hostname github.com User git ProxyCommand ssh <your_unix_id>@psproxy nc %h %p |
NOTE: make sure you "chmod 600 ~/.ssh/config", otherwise ssh will complain, bitterly.
To access GitHub repos using HTTPS, set your Git http.proxy using
| Code Block | ||
|---|---|---|
| ||
git config --global http.proxy http://psproxy:3128 |
...
Useful Commands
Check status of the repo
...
Overview
Content Tools