| 5 | == ssh configuration == |
| 6 | |
| 7 | You can add the following lines to `~/.ssh/config` on your local machine: |
| 8 | {{{ |
| 9 | #!sh |
| 10 | Host gp greenplanet gplogin1.ps.uci.edu gplogin2.ps.uci.edu |
| 11 | HostName gplogin1.ps.uci.edu |
| 12 | User YOURGREENPLANETUSERNAME |
| 13 | HostKeyAlias gplogin1.ps.uci.edu |
| 14 | HostbasedAuthentication no |
| 15 | }}} |
| 16 | and replace `YOURGREENPLANETUSERNAME` by your greenplanet username. |
| 17 | |
| 18 | Once this is done, you can ssh green planet by simply doing: |
| 19 | |
| 20 | {{{ |
| 21 | #!sh |
| 22 | ssh gp |
| 23 | }}} |
| 24 | |
| 27 | Once you have the account, you can setup a public key authentification in order to avoid having to input your password for each run. |
| 28 | You need to have a SSH public/private key pair. If you already have one, you can skip their creation described below. If you do not, you can create a SSH public/private key pair by typing the following command and following the prompts (no passphrase necessary): |
| 29 | {{{ |
| 30 | #!sh |
| 31 | $your_localhost% ssh-keygen -t rsa |
| 32 | Generating public/private rsa key pair. |
| 33 | Enter file in which to save the key (/Users/username/.ssh/id_rsa):RETURN |
| 34 | Enter passphrase (empty for no passphrase):RETURN |
| 35 | Enter same passphrase again:RETURN |
| 36 | Your identification has been saved in /Users/username/.ssh/id_rsa. |
| 37 | Your public key has been saved in /Users/username/.ssh/id_rsa.pub. |
| 38 | }}} |